2643 search results - page 38 / 529 » Higher order messaging |
117
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...
134
Voted
CSL
2009
Springer
15 years 10 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...
117
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
110
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
