108
click to vote
FOSSACS
15 years 6 months ago
2007 Springer 
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
112
click to vote
FOSSACS
15 years 6 months ago
2007 Springer 
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
122
click to vote
FOSSACS
15 years 6 months ago
2007 Springer 
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
123
click to vote
FOSSACS
15 years 4 months ago
2007 Springer 
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of tempora...
FOSSACS
15 years 6 months ago
2007 Springer 
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
|
Software Engineering