|
СТ |
The -calculus |
1994 |
Rehof N. J., Sorensen M. H. |
|
|
|
Lecture Notes in Computer Science |
05.05.1994 |
|
СТ |
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC |
1994 |
Sorensen M. H., Gluck R. |
|
|
|
Lecture Notes in Computer Science |
13.05.1994 |
|
СТ |
Partial Deduction and Driving are Equivalent |
1994 |
Gluck R., Sorensen M. H. |
|
|
|
Lecture Notes in Computer Science |
12.10.1994 |
|
СТ |
Call-By-Name CPS-Transition as a Binding-Time Improvement |
1995 |
Nielsen K., Sorensen M. H. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
17.11.1995 |
|
СТ |
An Algorithm of Generalization in Positive Supercompilation |
1995 |
Sorensen M. H., Gluck R. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
A Roadmap to Metacomputation by Supercompilation |
1996 |
Gluck R., Sorensen M. H. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
09.10.1996 |
|
СТ |
Controlling Conjunctive Partial Deduction |
1996 |
Gluck R., Jorgensen J., Martens B., Sorensen M. H. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
|
СТ |
On Perfect Supercompilation |
2000 |
Secher J. P., Sorensen M. H. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
