Вы здесь

Gluck R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Towards Multiple Self-Application 1991 Gluck R. SIGPLAN Notices 26.10.1991
СТ 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 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
СТ Generating Transformers for Deforestation and Supercompilation 1994 Gluck R., Jorgensen J. Lecture Notes in Computer Science 24.11.1994
СТ 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
СТ Fortran Program Specialization 1995 Kleinrubatscher P., Kriegshaber A., Zochling R., Gluck R. SIGPLAN Notices 06.05.1995
СТ 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
СТ On the Mechanics of Metasystem Hierarchies in Program Transformation 1996 Gluck R. Lecture Notes in Computer Science 30.03.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
СТ Reasoning about Hierarchies of Online Program Specialization Systems 1996 Hatcliff J., Gluck R. Lecture Notes in Computer Science Partial Evaluation 09.10.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
СТ Fast Binding-Time Analysis for Multi-Level Specialization 1996 Gluck R., Jorgensen J. Lecture Notes in Computer Science 15.02.1997
СТ Multi-Level Specialization 1999 Gluck R., Jorgensen J. Lecture Notes in Computer Science 15.12.1999
СТ Introduction to Supercompilation 1999 Sorensen M.H. B., Gluck R. Lecture Notes in Computer Science 15.12.1999
СТ 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
СТ 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
СТ Generative Programming and Active Libraries 2000 Czarnecki K., Eisenecker U., Gluck R., Vandevoorde D., Veldhuizen T. Lecture Notes in Computer Science 10.12.2000
СТ 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
СТ 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
СТ A Program Inverter for a Functional Language with Equality and Constructors 2003 Gluck R., Kawabe M. Lecture Notes in Computer Science 20.12.2003
СТ The Translation Power of the Futamura Projections 2003 Gluck R. Lecture Notes in Computer Science 18.02.2004
СТ Derivation of Deterministic Inverse Programs Based on LR Parsing 2004 Gluck R., Kawabe M. Lecture Notes in Computer Science 07.05.2004