Symbolic Execution with Separation Logic

This publication has 14 references indexed in Scilit:

• A semantics for procedure local heaps and its abstractions
  2005
• L3: A Linear Language with Locations
  2005
• A Decidable Fragment of Separation Logic
  2004
• Extending Separation Logic with Fixpoints and Postponed Substitution
  Lecture Notes in Computer Science, 2004
• On bunched typing
  Journal of Functional Programming, 2003
• Data abstraction and information hiding
  ACM Transactions on Programming Languages and Systems, 2002
• Parametric shape analysis via 3-valued logic
  ACM Transactions on Programming Languages and Systems, 2002
• The Semantics and Proof Theory of the Logic of Bunched Implications
  2002
• Local Reasoning about Programs that Alter Data Structures
  2001
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  1977