Robert Glück
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
- 1999
- Udgivet
Conjunctive partial deduction: foundations, control, algorithms, and experiments
De Schreye, D., Glück, Robert, Jørgensen, J., Leuschel, M., Martens, B. & Sørensen, M. H., 1999, I: The journal of logic programming. 41, 2&3, s. 231-277Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Generalization in hierarchies of online program specialization systems
Glück, Robert, Hatcliff, J. & Jørgensen, J., 1999, Logic-Based Program Synthesis and Transformation. Proceedings. Flener, P. (red.). Springer Verlag, s. 179-198 (Lecture notes in computer science, Bind 1559).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Introduction to supercompilation
Sørensen, M. H. & Glück, Robert, 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (red.). Springer Verlag, s. 246-270 (Lecture notes in computer science, Bind 1706).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Multi-level specialization
Glück, Robert & Jørgensen, J., 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (red.). Springer Verlag, s. 326-337 (Lecture notes in computer science, Bind 1706).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reduction of language hierarchies by metacomputation
Glück, Robert & Klimov, A. V., 1999, The Evolution of Complexity. Kluwer Academic Publishers, s. 129-140Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
ID: 9668
Flest downloads
-
220
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
173
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
101
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet