10 search results - page 1 / 2 » Abstract Debugging of Higher-Order Imperative Languages |
PLDI
1993
ACM
13 years 9 months ago
1993
ACM
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
ICALP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
ICTCS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
ENTCS
2008
13 years 5 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...