Alias burying: Unique variables without destructive reads

Software - Practice and Experience

Volumn 31, Issue 6, 2001, Pages 533-553

  Boyland, John ^a  

^a University of Wisconsin Milwaukee   (United States)

Author keywords

Borrowed; Compromise; Unshared

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING; SEMANTICS; SYNTACTICS;

ALIAS BURYING; DESTRUCTIVE READS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0035335990     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/spe.370     Document Type: Article

References (31)

1. Wadler P. Linear types can change the world! Programming Concepts and Methods, Broy M, Jones CB (eds.). Elsevier: North-Holland, 1990.
2. Hogg J. Islands: Aliasing protection in object-oriented languages. OOPSLA '91 Conference Proceedings - Object-Oriented Programming Systems, Languages and Applications, October 6-11, Phoenix, AZ. ACM SIGPLAN Notices 1991; 26(11):271-285.
3. Baker HG. 'Use-once' variables and linear objects - storage management, reflection and multi-threading. ACM SIGPLAN Notices 1995; 30(1):45-52.
4. Minsky N. Towards alias-free pointers. ECOOP'96 - Object-Oriented Programming, 10th European Conference, July 8-12, Linz, Austria (Lecture Notes in Computer Science, vol. 1098), Cointe P (ed.). Springer: Berlin, 1996; 189-209.
5. Girard JY. Linear logic. Theoretical Computer Science 1987; 50(1):1-102.
6. Harms DE, Weide BW. Copying and swapping: Influences on the design of reusable software components. IEEE Transactions on Software Engineering 1991; 17(5):424-435.
7. Greenhouse A, Boyland J. An object-oriented effects system. ECOOP'99 - Object-Oriented Programming, 13th European Conference, June 14-18, Lisbon, Portugal (Lecture Notes in Computer Science, vol. 1628), Guerraoui R (ed.). Springer: Berlin, 1999; 205-229.
8. Leino KRM. Data groups: Specifying the modification of extended state. OOPSLA'98 Conference Proceedings - Object-Oriented Programming Systems, Languages and Applications, October 18-22, Vancouver, Canada. ACM SIGPLAN Notices 1998; 33(10):144-153.
9. Sagiv M, Reps T, Wilhelm R. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems 1998; 20(1):1-50.
10. Reynolds JC. Syntactic control of interference. Conference Record of the 5th ACM Symposium on Principles of Programming Languages. ACM Press: New York, 1978; 39-46.
11. Reynolds JC. Intuitionistic reasoning about shared mutable data structure. Millenial Perspectives in Computer Science. Palgrave, to appear. Draft dated July 2000.
12. Schmidt DA. Detecting global variables in denotational semantics. ACM Transactions on Programming Languages and Systems 1985; 7(2):299-310.
13. Chen CP, Hudak P. Rolling your own mutable ADT: A connection between linear types and monads. Conference Record of the 24th Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, January 15-17, Paris, France. ACM Press: New York, 1997; 54-66.
14. Peyton Jones SL, Wadler P. Imperative functional programming. Conference Record of the 20th Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, January 10-13, Charleston, SC. ACM Press: New York, 1993; 71-84.
15. Launchbury J, Peyton Jones SL. State in Haskell. Lisp and Symbolic Computation 1995; 8:293-341.
16. Utting M. Reasoning about aliasing. Proceedings of the 4th Australasian Refinement Workshop (ARW-95). School of Computer Science and Engineering, The University of New South Wales, 1995; 195-211.
17. Achten P, van Groningen J, Plasmeijer R. High level specification of I/O in functional languages. Workshop on Functional Programming, Glasgow 1992, July 6-8, Ayr, UK, Launchbury J, Samson P (eds.). Workshops in Computer Science. Springer: Berlin, 1993; 1-17.
18. Almeida PS. Balloon types: Controlling sharing of state in data types. ECOOP'97 - Object-Oriented Programming, 11th European Conference, June 9-13, Jyväskylä, Finland (Lecture Notes in Computer Science, vol. 1241). Akşit M, Matsuoka S (eds.). Springer: Berlin, 1997; 32-59.
19. Liskov B, Guttag J. Abstraction and Specification in Program Development. The MIT Press: Cambridge, MA, 1986.
20. Evans D, Guttag J, Horning J, Tan YM. LCLint: A tool for using specifications to check code. 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, December 6-9, New Orleans, LA. ACM SIGSOFT Software Engineering Notes 1994; 19(5):87-96.
21. Detlefs DL, Leino KRM, Nelson G. Wrestling with rep exposure. SRC Research Report 156, Digital Equipment Corporation, Systems Research Center: Palo Alto, CA, 1998.
22. Detlefs DL, Leino KRM, Nelson G, Saxe JB. Extended static checking. SRC Research Report 159, Compaq Systems Research Center: Palo Alto, CA, 1998.
23. Leino KRM, Stata R. Virginity: A contribution to the specification of object-oriented software. Information Processing Letters 1999; 70(2):99-105.
24. Noble J, Vitek J, Potter J. Flexible alias protection. ECOOP'98 - Object-Oriented Programming, 12th European Conference, July 20-24, Brussels, Belgium (Lecture Notes in Computer Science, vol. 1445), Jul E (ed.). Springer: Berlin, 1998.
25. Clarke DG, Potter JM, Noble J. Ownership types for flexible alias protection. OOPSLA'98 Conference Proceedings -Object-Oriented Programming Systems, Languages and Applications, October 18-22, Vancouver, Canada. ACM SIGPLAN Notices 1998; 33(10):48-64.
26. Chan EC, Boyland JT, Scherlis WL. Promises: Limited specifications for analysis and manipulation. Proceedings of the IEEE International Conference on Software Engineering (ICSE '98), April 19-25, Kyoto, Japan. IEEE Computer Society: Los Alamitos, CA, 1998; 167-176.
27. Park YG, Goldberg B. Reference escape analysis: Optimizing reference counting based on the lifetime of references. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'91), June 17-19, New Haven, CO. ACM SIGPLAN Notices 1991; 26(9):178-189.
28. Blanchet B. Escape analysis for object-oriented languages: application to Java. OOPSLA'99 Conference Proceedings -Object-Oriented Programming Systems, Languages and Applications, November 1-5, Denver, CO. ACM SIGPLAN Notices 1999; 34(10):20-34.
29. Whaley J, Rinard M. Compositional pointer and escape analysis for Java programs. OOPSLA '99 Conference Proceedings -Object-Oriented Programming Systems, Languages and Applications, November 1-5, Denver, CO. ACM SIGPLAN Notices 1999; 34(10):187-206.
30. Choi JD, Gupta M, Serrano M, Sreedhar VC, Midkiff S. Escape analysis for Java. OOPSLA'99 Conference Proceedings -Object-Oriented Programming Systems, Languages and Applications, November 1-5, Denver, CO. ACM SIGPLAN Notices 1999; 34(10):1-19.
31. Bogda J, Hölzle U. Removing unnecessary synchronization in Java. OOPSLA'99 Conference Proceedings - Object-Oriented Programming Systems, Languages and Applications, November 1-5, Denver, CO. ACM SIGPLAN Notices 1999; 34(10):35-46.