Robert Glück
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
ORCID: 0000-0001-6990-3935
1 - 5 ud af 5Pr. side: 10
- 2005
- Udgivet
A method for automatic program inversion based on LR(0) parsing
Glück, Robert & Kawabe, M., 2005, I: Fundamenta Informaticae. 66(4), s. 367-395Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- Udgivet
Generative Programming and Component Engineering. Proceedings
Glück, Robert (red.) & Lowry, M. (red.), 2005, Springer Verlag. 448 s. (Lecture notes in computer science, Bind 3676).Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt
- Udgivet
Proceedings of the 1st DIKU-IST Workshop on the Foundations of Software
Glück, Robert (red.) & Hu, Z. (red.), 2005, Department of Computer Science, University of Copenhagen. 166 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2005/07).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
- Udgivet
Revisiting an automatic program inverter for Lisp
Glück, Robert & Kawabe, M., 2005, I: SIGPLAN Notices. 40, 5, s. 8-17Publikation: Bidrag til tidsskrift › Tidsskriftartikel
- Udgivet
The program inverter LRinv and its structure
Kawabe, M. & Glück, Robert, 2005, Practical Aspects of Declarative Languages. Proceedings. Hermenegildo, M. & Cabeza, D. (red.). Springer Verlag, s. 219-234 (Lecture notes in computer science, Bind 3350).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › 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 › 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