1359 search results - page 16 / 272 » Black-Box Program Specialization |
ICFP
1999
ACM
14 years 28 days ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...
IJCAI
1989
13 years 9 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
SAS
1991
Springer
14 years 3 days ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...