2643 search results - page 67 / 529 » Higher order messaging |
ENTCS
2008
15 years 4 months ago
2008
133
click to vote
ENTCS
2008
15 years 4 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...
ENTCS
2006
15 years 4 months ago
2006
141
click to vote
FUIN
2006
15 years 4 months ago
2006
Wadler's deforestation algorithm eliminates intermediate data structures from functional programs. To be suitable for inclusion in a compiler, it must terminate on all progra...