Mark Utting  Home/Search
Context Related
| uq.edu.au/techreports/tr9637.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uq.edu.au/techreports/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Object-oriented systems are typically structured as complex networks of interacting mutable objects. To reason about such systems, simple and efficient techniques for coping with aliasing are needed. This paper identifies several key criteria for evaluating techniques for reasoning about aliasing, then proposes a technique which satisfies these criteria. The proposed technique is a simple extension of the traditional local store technique for modelling pointers. The increasing popularity ... (Update)
Context of citations to this paper: More
...in the following sections. The discussion here suggests using explicit first class stores such as those of [35] or the local stores of [46]. But the partitioning of stores is merely a metaphor to enhance understanding. Even the notion of ownership is static; the object stores...
.... of their aliasing dependencies [25] or extra local store objects can be introduce to control the dereferencing or pointer variables [40]. We have developed flexible alias protection which extends type systems with sharing contexts to statically control the extent of aliases...
Cited by: More
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) (Correct)
Introducing Reference Semantics via Refinement Graeme Smith - Software Verification.. (2002) (Correct)
Alias-free Parameters in C for Better Reasoning and Optimization - Assaad, Leavens (Correct)
Similar documents (at the sentence level):
74.3%: Reasoning about Aliasing - Utting (1997) (Correct)
Active bibliography (related documents): More All
0.2: Refinement in a Type Extension Context - Bancroft, Hayes (1996) (Correct)
0.2: A Comparison of Modularity in B and Cogito - Watson (1997) (Correct)
0.2: An Object-Oriented Refinement Calculus with Modular Reasoning - Utting (1992) (Correct)
Similar documents based on text: More All
0.3: Aliasing on the World Wide Web: Prevalence and Performance.. - Kelly, Mogul (2002) (Correct)
0.2: Deadlines Are Termination - Hayes, Utting (1998) (Correct)
0.2: A Sequential Real-time Refinement Calculus - Hayes, Utting (1997) (Correct)
Related documents from co-citation: More All
10: Islands: Aliasing Protection in Object-Oriented Languages (context) - Hogg - 1991
8: Flexible alias protection - Noble, Vitek et al.
7: Towards alias-free pointers - Minsky - 1996
BibTeX entry: (Update)
M. Utting. Reasoning about aliasing. In Proceedings of the Fourth Australian Refinement Workshop (ARW-95), pages 195--211. School of Computer Science and Engineering, The University of New South Wales, April 1995. http://citeseer.ist.psu.edu/utting96reasoning.html More
@inproceedings{ utting95reasoning,
author = "Mark Utting",
title = "Reasoning about Aliasing",
booktitle = "Proceedings of the {Fourth Australasian Refinement Workshop ({ARW}-95)}",
publisher = "School of Computer Science and Engineering, The University of New South Wales",
pages = "195--211",
year = "1995",
url = "citeseer.ist.psu.edu/utting96reasoning.html" }
Citations (may not include all citations):132 Syntactic control of interference (context) - Reynolds - 1978
113 International Series in Computer Science (context) - Spivey, Notation et al. - 1989
100 Islands: Aliasing protection in object-oriented languages (context) - Hogg - 1991
68 Ten years of Hoare's logic: A survey - part (context) - Apt - 1981
67 Programming from Specifications (context) - Morgan - 1994
66 The Geneva convention on the treatment of object aliasing - Hogg, Lea et al. - 1992
53 An axiomatic definition of the programming language pascal (context) - Hoare, Wirth - 1973
49 Methods and logics for proving programs (context) - Cousot - 1990
36 Science of Computer Programming (context) - Morgan, parameters - 1988
31 Report on the programming language Euclid (context) - Lampson - 1977
26 Department of Computer Science (context) - Bancroft, Hayes et al. - 1992
17 An Object-Oriented Refinement Calculus with Modular Reasonin.. - Utting - 1992
11 Notes on the design of Euclid (context) - Popek, Horning et al. - 1977
9 Varieties of programming language (context) - Strachey - 1972
4 Refining a module with opaque types (context) - Bancroft, Hayes - 1993
2 A case study in language design (context) - Horning - 1979
The graph only includes citing articles where the year of publication is known.
Documents on the same site (ftp://svrc.it.uq.edu.au/techreports/): More
An Empirical Study of Formal User-Interface Design - Hussey, al. (1997) (Correct)
The PRT User Manual - Version 1.03 - Carrington, Hayes, al. (1995) (Correct)
Software Visualisation in a Language Based Editor - Jones, Welsh (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC