Volume 19, Issue 4

Higher-Order and Symbolic Computation is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Higher-Order and Symbolic Computation articles

December 2006

4 articles in this issue

Editorial
Olivier Danvy
Andrzej Filinski
Carolyn Talcott
EditorialNotes Pages: 343 - 344
Expressing combinatory reduction systems derivations in the rewriting calculus
Clara Bertolissi
Horatiu Cirstea
Claude Kirchner
OriginalPaper Pages: 345 - 376
Call-by-push-value: Decomposing call-by-value and call-by-name
Paul Blain Levy
OriginalPaper Pages: 377 - 414
Deriving escape analysis by abstract interpretation
Patricia M. Hill
Fausto Spoto
OriginalPaper Pages: 415 - 463

Volume 19, Issue 4

Editorial

Expressing combinatory reduction systems derivations in the rewriting calculus

Call-by-push-value: Decomposing call-by-value and call-by-name

Deriving escape analysis by abstract interpretation

Search

Navigation