Constraint-based program reasoning with heaps and separation

Constraint-based program reasoning with heaps and separation

10.1007/978-3-642-40627-0_24

Saved in:
Bibliographic Details
Main Authors: Duck, G.J., Jaffar, J., Koh, N.C.H.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2014
Subjects:
Constraint Handling Rules
Heap Manipulating Programs
Satisfiability Modulo Theories
Separation Logic
Symbolic Execution
Online Access:http://scholarbank.nus.edu.sg/handle/10635/78067
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

http://scholarbank.nus.edu.sg/handle/10635/78067

Similar Items