1882 search results - page 17 / 377 » Transformational Programming and Forests |
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
PPDP
2007
Springer
14 years 2 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
ICFP
2000
ACM
14 years 25 days ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
IJCAI
1989
13 years 9 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
ICALP
2007
Springer
14 years 2 months ago
2007
Springer