Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-17164-2_30
Title: A logical mix of approximation and separation
Authors: Hobor, A. 
Dockins, R.
Appel, A.W.
Issue Date: 2010
Source: Hobor, A.,Dockins, R.,Appel, A.W. (2010). A logical mix of approximation and separation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6461 LNCS : 439-454. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-17164-2_30
Abstract: We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs when the naïve semantic definitions contain a contravariant circularity (e.g., invariants of first-class locks), while separation occurs when one wishes to track resource accounting. We show how these two features can be mixed together in a modular way. Our work is machine checked in Coq and available as part of the Mechanized Semantic Library. © 2010 Springer-Verlag.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/40633
ISBN: 364217163X
ISSN: 03029743
DOI: 10.1007/978-3-642-17164-2_30
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

45
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.