1090 search results - page 1 / 218 » Resource-Bounded Partial Evaluation |
PEPM
1997
ACM
13 years 8 months ago
1997
ACM
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
APLAS
2010
ACM
13 years 4 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
PEPM
2011
ACM
12 years 7 months ago
2011
ACM
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
ASIAN
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...