1359 search results - page 43 / 272 » Black-Box Program Specialization |
159
click to vote
AGP
2010
IEEE
15 years 6 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
96
Voted
ECRTS
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract: This paper presents an application program interface (API) that enables applications to use applicationdefined scheduling algorithms in a way compatible with the scheduli...
121
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
148
click to vote
ESOP
1994
Springer
15 years 6 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
133
click to vote
PADO
2001
Springer
15 years 6 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...