632 search results - page 34 / 127 » Explicit Substitutions and Programming Languages |
ICFP
1998
ACM
14 years 29 days ago
1998
ACM
If the continuations in functional data-structure-generating programs are made explicit and represented as records, they can be recycled." Once they have served their purpose...
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
ESOP
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
PPDP
2000
Springer
14 years 8 days ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
CONCURRENCY
2004
13 years 8 months ago
2004
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...