1686 search results - page 41 / 338 » Higher Order Deforestation |
138
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
click to vote
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...
129
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
111
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
