95 search results - page 14 / 19 » CIA Structures and the Semantics of Recursion |
122
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
125
click to vote
CSL
2009
Springer
15 years 9 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
110
click to vote
AAAI
1997
15 years 3 months ago
1997
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
122
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
112
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...