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

id	sg-nus-scholar.10635-78067
record_format	dspace
spelling	sg-nus-scholar.10635-780672015-01-06T05:57:27Z Constraint-based program reasoning with heaps and separation Duck, G.J. Jaffar, J. Koh, N.C.H. COMPUTER SCIENCE Constraint Handling Rules Heap Manipulating Programs Satisfiability Modulo Theories Separation Logic Symbolic Execution 10.1007/978-3-642-40627-0_24 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8124 LNCS 282-298 2014-07-04T03:12:01Z 2014-07-04T03:12:01Z 2013 Conference Paper Duck, G.J.,Jaffar, J.,Koh, N.C.H. (2013). Constraint-based program reasoning with heaps and separation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8124 LNCS : 282-298. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-40627-0_24" target="_blank">https://doi.org/10.1007/978-3-642-40627-0_24</a> 9783642406263 03029743 http://scholarbank.nus.edu.sg/handle/10635/78067 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Constraint Handling Rules Heap Manipulating Programs Satisfiability Modulo Theories Separation Logic Symbolic Execution
spellingShingle	Constraint Handling Rules Heap Manipulating Programs Satisfiability Modulo Theories Separation Logic Symbolic Execution Duck, G.J. Jaffar, J. Koh, N.C.H. Constraint-based program reasoning with heaps and separation
description	10.1007/978-3-642-40627-0_24
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Duck, G.J. Jaffar, J. Koh, N.C.H.
format	Conference or Workshop Item
author	Duck, G.J. Jaffar, J. Koh, N.C.H.
author_sort	Duck, G.J.
title	Constraint-based program reasoning with heaps and separation
title_short	Constraint-based program reasoning with heaps and separation
title_full	Constraint-based program reasoning with heaps and separation
title_fullStr	Constraint-based program reasoning with heaps and separation
title_full_unstemmed	Constraint-based program reasoning with heaps and separation
title_sort	constraint-based program reasoning with heaps and separation
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78067
_version_	1681088574750982144

Constraint-based program reasoning with heaps and separation

Similar Items