|
СТ |
Similix: A Self-Applicable Partial Evaluator for Scheme |
1999 |
Jorgensen J. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
|
СТ |
Multi-Level Specialization |
1999 |
Gluck R., Jorgensen J. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
|
СТ |
Formally Optimal Boxing |
1994 |
Henglein F., Jorgensen J. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
СТ |
Conjunctive Partial Deduction in Practice |
1997 |
Jorgensen J., Leuschel M., Martens B. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
Fast Binding-Time Analysis for Multi-Level Specialization |
1996 |
Gluck R., Jorgensen J. |
|
|
|
Lecture Notes in Computer Science |
15.02.1997 |
|
СТ |
Controlling Conjunctive Partial Deduction |
1996 |
Gluck R., Jorgensen J., Martens B., Sorensen M. H. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
|
СТ |
Efficiently Generating Efficient Generating Extensions in Prolog |
1996 |
Jorgensen J., Leuschel M. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
10.10.1996 |
|
СТ |
Efficient Multi-level Generating Extensions for Program Specialization |
1995 |
Gluck R., Jorgensen J. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Generating Transformers for Deforestation and Supercompilation |
1994 |
Gluck R., Jorgensen J. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
A Comparison of the Object Oriented Features of Ada 9X and C++ |
1993 |
Jorgensen J. |
|
|
|
Lecture Notes in Computer Science |
06.08.1993 |
