Local Stores in C++

Mark Utting; James Dunwoody

Back

Conference paper

Local Stores in C++

Mark Utting and James Dunwoody

International Refinement Workshop and Formal Methods Pacific '98 Work-in-progress papers of IRW/FMP '98, pp.129-144

International Refinement Workshop and Formal Methods Pacific (Canberra, Australia)

Australian National University

1998

Files and links (1)

url

http://hdl.handle.net/1885/40812View

Webpage

Abstract

Computation Theory and Mathematics

Computer Software

Local stores are a good technique for managing aliasing of pointers. They make reasoning easier and act as useful documentation in programs and specifications. This paper describes several interesting design issues that arise when local stores are incorporated into an object oriented language and gives an idea of how usable the resulting language is. The same techniques and design alternatives should be applicable to other object-oriented languages, such as Java and object-oriented refinement calculi.

Details

Title: Local Stores in C++
Authors: Mark Utting (Author) - University of Waikato, New Zealand
James Dunwoody (Author) - University of Waikato, New Zealand
Contributors: Jim Grundy (Editor)
Martin Schwenke (Editor)
Trevor Vickers (Editor)
Publication details: International Refinement Workshop and Formal Methods Pacific '98 Work-in-progress papers of IRW/FMP '98, pp.129-144
Conference details: International Refinement Workshop and Formal Methods Pacific (Canberra, Australia)
Publisher: Australian National University
Date published: 1998
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99449366502621
Output Type: Conference paper

Metrics

570 Record Views