Robert Glück
Professor
ORCID: 0000-0001-6990-3935
1 - 5 ud af 5Pr. side: 10
- 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
ID: 9668
Flest downloads
-
226
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
183
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
105
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet