Balloon types: Controlling sharing of state in data types

This publication has 20 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
• Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
  Published by Association for Computing Machinery (ACM) ,1996
• Roles for composite objects in object-oriented analysis and design
  ACM SIGPLAN Notices, 1993
• The Geneva convention on the treatment of object aliasing
  ACM SIGPLAN OOPS Messenger, 1992
• Islands
  ACM SIGPLAN Notices, 1991
• Frontiers and open sets in abstract interpretation
  Published by Association for Computing Machinery (ACM) ,1989
• Object identity
  ACM SIGPLAN Notices, 1986
• Strictness analysis — a practical approach
  Published by Springer Nature ,1985
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977
• Proof of correctness of data representations
  Acta Informatica, 1972