A Trace Model for Pointers and Objects

This publication has 10 references indexed in Scilit:

• Calculating With Pointer Structures
  Published by Springer Nature ,1997
• A Denotational Semantics of Inheritance and Its Correctness
  Information and Computation, 1994
• Towards pointer algebra
  Science of Computer Programming, 1993
• A semantics of multiple inheritance
  Information and Computation, 1988
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Verifying reachability invariants of linked structures
  Published by Association for Computing Machinery (ACM) ,1983
• Analysis of pointer “rotation”
  Communications of the ACM, 1982
• A General Axiom of Assignment
  Published by Springer Nature ,1982
• SIMULA: an ALGOL-based simulation language
  Communications of the ACM, 1966
• Correspondence between ALGOL 60 and Church's Lambda-notation
  Communications of the ACM, 1965