Robert Glück
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
ORCID: 0000-0001-6990-3935
1 - 3 ud af 3Pr. side: 10
- 2001
- Udgivet
From standard to non-standard semantics by semantics modifiers
Abramov, S. M. & Glück, Robert, 2001, I: International Journal of Foundations of Computer Science. 12, 2, s. 171-211Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Recursion removal and introduction using assignments
Kakehi, K., Glück, Robert & Futamura, Y., 2001, I: IPSJ Transactions on Programming. 42, SIG 7(PRO 11), s. 12-34Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Relating accumulative and non-accumulative functional programs
Kühnemann, A., Glück, Robert & Kakehi, K., 2001, Rewriting Techniques and Applications. Proceedings. Springer Verlag, s. 154-168 (Lecture notes in computer science, Bind 2051).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 9668
Flest downloads
-
217
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
172
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
100
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet