Semanticsbased design and correctness of control-flow analysis-based program transformations. Unpublished (2001)

by Anindya Banerjee, Nevin Heintze, Jon G Riecke
Venue:Bon90] Anders Bondorf. Self-Applicable Partial Evaluation (Revised Version
Add To MetaCart
Results 1 - 2 of 2

Defunctionalization at Work

by Olivier Danvy, Lasse R. Nielsen , 2001
"... ..."
Abstract - Cited by 59 (34 self) - Add to MetaCart
Abstract not found

A Denotational Investigation of Defunctionalization

by Lasse R. Nielsen , 2000
"... ..."
Abstract - Cited by 10 (1 self) - Add to MetaCart
Abstract not found