Sciweavers

APLAS
2010
ACM

A Logical Mix of Approximation and Separation

13 years 3 months ago
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
Aquinas Hobor, Robert Dockins, Andrew W. Appel
Added 05 Dec 2010
Updated 05 Dec 2010
Type Conference
Year 2010
Where APLAS
Authors Aquinas Hobor, Robert Dockins, Andrew W. Appel
Comments (0)