Robert Glück
Professor
- 2005
- Published
A method for automatic program inversion based on LR(0) parsing
Glück, Robert & Kawabe, M., 2005, In: Fundamenta Informaticae. 66(4), p. 367-395Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Generative Programming and Component Engineering. Proceedings
Glück, Robert (ed.) & Lowry, M. (ed.), 2005, Springer Verlag. 448 p. (Lecture notes in computer science, Vol. 3676).Research output: Book/Report › Book › Research › peer-review
- Published
Proceedings of the 1st DIKU-IST Workshop on the Foundations of Software
Glück, Robert (ed.) & Hu, Z. (ed.), 2005, Department of Computer Science, University of Copenhagen. 166 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2005/07).Research output: Book/Report › Anthology › Research
- Published
Revisiting an automatic program inverter for Lisp
Glück, Robert & Kawabe, M., 2005, In: SIGPLAN Notices. 40, 5, p. 8-17Research output: Contribution to journal › Journal article › Research
- Published
The program inverter LRinv and its structure
Kawabe, M. & Glück, Robert, 2005, Practical Aspects of Declarative Languages. Proceedings. Hermenegildo, M. & Cabeza, D. (eds.). Springer Verlag, p. 219-234 (Lecture notes in computer science, Vol. 3350).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2004
- Published
Derivation of deterministic inverse programs based on LR parsing
Glück, Robert & Kawabe, M., 2004, Functional and Logic Programming. Proceedings. Springer Verlag, p. 291-306 (Lecture notes in computer science, Vol. 2998).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Offline partial evaluation can be as accurate as online partial evaluation
Christensen, N. H. & Glück, Robert, 2004, In: ACM Transactions on Programming Languages and Systems. 26, 1, p. 191-220Research output: Contribution to journal › Journal article › Research › peer-review
- 2003
- Published
A program inverter for a functional language with equality and constructors
Glück, Robert & Kawabe, M., 2003, Programming Languages and Systems. Ohori, A. (ed.). Springer Verlag, Vol. 2895. p. 246-264Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
International Workshop on Program Understanding. Proceedings
Bulyonkov, M. A. (ed.) & Glück, Robert (ed.), 2003, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 111 p.Research output: Book/Report › Anthology › Research
- Published
The translation power of the Futamura projections
Glück, Robert, 2003, Perspectives of System Informatics. Broy, M. & Zamulin, A. V. (eds.). Springer Verlag, p. 133-147 (Lecture notes in computer science, Vol. 2890).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 9668
Most downloads
-
259
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
203
downloads
A categorical foundation for structured reversible flowchart languages
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
117
downloads
Simulation of two-way pushdown automata revisited
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Published