|
СТ |
Derivation of Deterministic Inverse Programs Based on LR Parsing |
2004 |
Gluck R., Kawabe M. |
|
|
|
Lecture Notes in Computer Science |
07.05.2004 |
|
СТ |
The Translation Power of the Futamura Projections |
2003 |
Gluck R. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
|
СТ |
A Program Inverter for a Functional Language with Equality and Constructors |
2003 |
Gluck R., Kawabe M. |
|
|
|
Lecture Notes in Computer Science |
20.12.2003 |
|
СТ |
A Loop Optimization Technique Based on Quasi-Invariance |
2000 |
Song L., Futamura Y., Gluck R., Hu Zh. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
|
СТ |
Combining Semantics with Non-standard Interpreter Hierarchies |
2000 |
Abramov S., Gluck R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.01.2001 |
|
СТ |
Generative Programming and Active Libraries |
2000 |
Czarnecki K., Eisenecker U., Gluck R., Vandevoorde D., Veldhuizen T. |
|
|
|
Lecture Notes in Computer Science |
10.12.2000 |
|
СТ |
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All |
2000 |
Christensen N. H., Gluck R., Laursen S. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification |
2000 |
Gluck R., Leuschel M. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Introduction to Supercompilation |
1999 |
Sorensen M.H. B., Gluck R. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
|
СТ |
Multi-Level Specialization |
1999 |
Gluck R., Jorgensen J. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
|
СТ |
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 |
|
СТ |
A Roadmap to Metacomputation by Supercompilation |
1996 |
Gluck R., Sorensen M. H. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
09.10.1996 |
|
СТ |
Reasoning about Hierarchies of Online Program Specialization Systems |
1996 |
Hatcliff J., Gluck R. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
09.10.1996 |
|
СТ |
An Algorithm of Generalization in Positive Supercompilation |
1995 |
Sorensen M. H., Gluck R. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
On the Mechanics of Metasystem Hierarchies in Program Transformation |
1996 |
Gluck R. |
|
|
|
Lecture Notes in Computer Science |
30.03.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 |
|
СТ |
Fortran Program Specialization |
1995 |
Kleinrubatscher P., Kriegshaber A., Zochling R., Gluck R. |
|
|
|
SIGPLAN Notices |
06.05.1995 |
|
СТ |
Partial Evaluation of Numerical Programs in Fortran |
1994 |
Baier R., Gluck R., Zochling R. |
|
|
|
PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation |
20.01.1995 |
|
СТ |
Generating Transformers for Deforestation and Supercompilation |
1994 |
Gluck R., Jorgensen J. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Partial Deduction and Driving are Equivalent |
1994 |
Gluck R., Sorensen M. H. |
|
|
|
Lecture Notes in Computer Science |
12.10.1994 |
|
СТ |
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC |
1994 |
Sorensen M. H., Gluck R. |
|
|
|
Lecture Notes in Computer Science |
13.05.1994 |
|
СТ |
Occam s Razor in Metacomputation: The Notion of a Perfect Process Tree |
1993 |
Gluck R., Klimov A. V. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
|
СТ |
Towards Multiple Self-Application |
1991 |
Gluck R. |
|
|
|
SIGPLAN Notices |
26.10.1991 |
