Flexible alias protection

This publication has 21 references indexed in Scilit:

• Designing programming languages for analyzability: a fresh look at pointer data structures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Promises: limited specifications for analysis and manipulation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Towards alias-free pointers
  Published by Springer Nature ,1996
• Roles for composite objects in object-oriented analysis and design
  Published by Association for Computing Machinery (ACM) ,1993
• Undecidability of static analysis
  ACM Letters on Programming Languages and Systems, 1992
• Copying and swapping: influences on the design of reusable software components
  IEEE Transactions on Software Engineering, 1991
• Polymorphic effect systems
  Published by Association for Computing Machinery (ACM) ,1988
• On Including Part Hierarchies in Object-Oriented Languages, with an Implementation in Smalltalk
  Published by Springer Nature ,1987
• Values and objects in programming languages
  ACM SIGPLAN Notices, 1982
• The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
  ACM Transactions on Programming Languages and Systems, 1981