Robert Glück
Professor
- 1990
Application of metasystem transition to function inversion and transformation
Glück, Robert & Turchin, V. F., 1990, International Symposium on Symbolic and Algebraic Computation. Proceedings. ACM Press, s. 286-287Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 1993
Occam's razor in metacomputation: the notion of a perfect process tree
Glück, Robert & Klimov, A. V., 1993, Static Analysis. Proceedings. Cousot, P., Falaschi, M., Filé, G. & Rauzy, A. (red.). Springer Verlag, s. 112-123 (Lecture notes in computer science, Bind 724).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 1994
- Udgivet
Generating optimizing specializers
Glück, Robert & Jørgensen, J., 1994, IEEE International Conference on Computer Languages. IEEE Computer Society Press, s. 183-194Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Generating transformers for deforestation and supercompilation
Glück, Robert & Jørgensen, J., 1994, Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Le Charlier, B. (red.). Springer, s. 432-448 17 s. (Lecture notes in computer science, Bind 864).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Metacomputation as a tool for formal linguistic modeling
Glück, Robert & Klimov, A. V., 1994, I: Cybernetics and Systems '94. Vol 2, s. 1563-1570Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning
- Udgivet
On the generation of specializers
Glück, Robert, 1994, I: Journal of Functional Programming. 4, 4, s. 499-514Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Partial deduction and driving are equivalent
Glück, Robert & Sørensen, M. H., 1994, Programming Language Implementation and Logic Programming Book Subtitle: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings. Hermenegildo, M. & Penjam, J. (red.). Springer, s. 165-181 17 s. (Lecture notes in computer science, Bind 844).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Partial evaluation of numerical programs in Fortran
Baier, R., Glück, Robert & Zöchling, R., 1994, I: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipul.. s. 119-132Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Towards unifying partial evaluation, deforestation, supercompilation, and GPC
Sørensen, M. H., Glück, Robert & Jones, N. D., 1994, Programming Languages and Systems - ESOP '94. Sannella, D. (red.). Springer Verlag, s. 485-500 (Lecture notes in computer science, Bind 788).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 1995
- Udgivet
An algorithm of generalization in positive supercompilation
Sørensen, M. H. & Glück, Robert, 1995, Logic Programming: Proceedings of the 1995 International Symposium. Lloyd, J. W. (red.). MIT Press, s. 465-479Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Efficient multi-level generating extensions for program specialization
Glück, Robert & Jørgensen, J., 1995, Programming Languages: Implementations, Logics and Programs. Springer Verlag, s. 259-278 (Lecture notes in computer science, Bind 982).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Fortran program specialization
Kleinrubatscher, P., Kriegshaber, A., Zöchling, R. & Glück, Robert, 1995, I: SIGPLAN Notices. 30, 4, s. 61-70Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
- Udgivet
Metasystem transition schemes in computer science and mathematics
Glück, Robert & Klimov, A. V., 1995, I: World Futures: The Journal of New Paradigm Research. 45, 1-4, s. 213-243Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
The generation of a higher-order online partial evaluator
Thiemann, P. & Glück, Robert, 1995, Functional and Logic Programming. World Scientific, s. 239-253Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 1996
- Udgivet
A positive supercompiler
Sørensen, M. H., Glück, Robert & Jones, N. D., 1996, I: Journal of Functional Programming. 6, 6, s. 811-838Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
A roadmap to metacomputation by supercompilation
Glück, Robert & Sørensen, M. H., 1996, Partial Evaluation. Springer Verlag, s. 137-160 (Lecture notes in computer science, Bind 1110).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Automatic program specialization by partial evaluation: an introduction
Glück, Robert & Jones, N. D., 1996, Software Engineering im Scientific Computing. Mackens, W. & Rump, S. M. (red.). Vieweg Verlag, s. 70-77Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Binding-time analysis applied to mathematical algorithms
Glück, Robert, Nakashige, R. & Zöchling, R., 1996, System Modelling and Optimization. Doležal, J. & Fidler, J. (red.). Chapman & Hall, s. 137-146Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Bootstrapping higher-order program transformers from interpreters
Sperber, M., Glück, Robert & Thiemann, P., 1996, Proceedings of the 1996 ACM Symposium on Applied Computing. Association for Computing Machinery, s. 408-413Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Controlling conjunctive partial deduction
Glück, Robert, Jørgensen, J., Martens, B. & Sørensen, M. H., 1996, Programming Languages: Implementations, Logics and Programs. Kuchen, H. & Swierstra, S. D. (red.). Springer Verlag, s. 152-166 (Lecture notes in computer science, Bind 1140).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Fast binding-time analysis for multi-level specialization
Glück, Robert & Jørgensen, J., 1996, Perspectives of System Informatics. Bjørner, D., Broy, M. & Pottosin, I. V. (red.). Springer Verlag, s. 261-272 (Lecture notes in computer science, Bind 1181).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
On the mechanics of metasystem hierarchies in program transformation
Glück, Robert, 1996, Logic Program Synthesis and Transformation. Proceedings. Proietti, M. (red.). Springer Verlag, s. 234-251 (Lecture notes in computer science, Bind 1048).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Partial Evaluation
Danvy, O. (red.), Glück, Robert (red.) & Thiemann, P. (red.), 1996, Springer Verlag. 514 s. (Lecture notes in computer science, Bind 1110).Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt
- Udgivet
Reasoning about hierarchies of online program specialization systems
Hatcliff, J. & Glück, Robert, 1996, Partial Evaluation. Springer Verlag, s. 161-182 (Lecture notes in computer science, Bind 1110).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Specialization of numerical programs with the FSpec system
Baier, R., Glück, Robert & Zöchling, R., 1996, Software Engineering im Scientific Computing. Mackens, W. & Rump, S. M. (red.). Vieweg Verlag, s. 86-93Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
ID: 9668
Flest downloads
-
265
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
204
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
117
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet