APLAS
2008
ACM
14 years 2 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....
APLAS
2008
ACM
14 years 2 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
APLAS
2008
ACM
14 years 2 months ago
2008
ACM
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
APLAS
2008
ACM
14 years 2 months ago
2008
ACM
APLAS
2008
ACM
14 years 2 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
APLAS
2008
ACM
14 years 2 months ago
2008
ACM
APLAS
2008
ACM
14 years 2 months ago
2008
ACM
Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation...