A Logical Mix of Approximation and Separation

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

• Type: Conference
• Year: 2010
• Where: APLAS
• Authors: Aquinas Hobor, Robert Dockins, Andrew W. Appel
• Keywords: APLAS 2010, Contravariant Circularity, Minor Project, Na¨ive Semantic Definitions, Programming Languages