57 search results - page 4 / 12 » Towards Scalable Partial Evaluation of Declarative Programs |
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
PEPM
1993
ACM
15 years 3 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
124
Voted
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
151
Voted
DAC
2005
ACM
16 years 19 days ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
106
click to vote
DAGSTUHL
1996
15 years 1 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...