BI as an assertion language for mutable data structures

This publication has 18 references indexed in Scilit:

• Syntactic control of interference revisited
  Theoretical Computer Science, 1999
• The Logic of Bunched Implications
  Bulletin of Symbolic Logic, 1999
• Automatic verification of pointer programs using monadic second-order logic
  Published by Association for Computing Machinery (ACM) ,1997
• On the frame problem in procedure specifications
  IEEE Transactions on Software Engineering, 1995
• A Variable Typed Logic of Effects
  Information and Computation, 1995
• Towards a geometry of interaction
  Contemporary Mathematics, 1989
• Linear logic
  Theoretical Computer Science, 1987
• A General Axiom of Assignment
  Published by Springer Nature ,1982
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973