Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    1 - 50 out of 137Page size: 50
    Sort by: 1st author
    1. Published

      The universal resolving algorithm: inverse computation in a functional language

      Abramov, S. M. & Glück, Robert, 2000, Mathematics of Program Construction. Backhouse, R. & Oliveira, J. N. (eds.). Vol. 1837. p. 187-212 (Lecture notes in computer science, Vol. 1837).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    2. Principles of inverse computation and the universal resolving algorithm

      Abramov, S. M. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. & Sudborough, I. H. (eds.). Springer Verlag, p. 269-295 (Lecture notes in computer science, Vol. 2566).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. Published

      Combining semantics with non-standard interpreter hierarchies

      Abramov, S. M. & Glück, Robert, 2000, Foundations of Software Technology and Theoretical Computer Science. Proceedings. Kapoor, S. & Prasad, S. (eds.). Springer Verlag, p. 201-213 (Lecture notes in computer science, Vol. 1974).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    4. Published

      From standard to non-standard semantics by semantics modifiers

      Abramov, S. M. & Glück, Robert, 2001, In: International Journal of Foundations of Computer Science. 12, 2, p. 171-211

      Research output: Contribution to journal › Journal article › Research › peer-review

    5. Published

      A universal resolving algorithm for inverse computation of lazy languages

      Abramov, S. M., Glück, Robert & Klimov, Y., 2007, Perspectives of Systems Informatics. Proceedings. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 27-40 (Lecture notes in computer science; No. 4378).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    6. Published

      The universal resolving algorithm and its correctness: inverse computation in a functional language

      Abramov, S. M. & Glück, Robert, 2002, In: Science of Computer Programming. 43, 2-3, p. 193-229

      Research output: Contribution to journal › Journal article › Research › peer-review

    7. Published

      Semantics modifiers: an approach to non-standard semantics of programming languages

      Abramov, S. M. & Glück, Robert, 1998, Functional and Logic Programming. World Scientific, p. 247-270

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    8. Published

      Foundations of reversible computation

      Aman, B., Ciobanu, G., Glück, Robert, Kaarsgaard, R., Kari, J., Kutrib, M., Lanese, I., Mezzina, C. A., Mikulski, Ł., Nagarajan, R., Phillips, I., Pinna, G. M., Prigioniero, L., Ulidowski, I. & Vidal, G., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 1-40 40 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    9. Published

      What do reversible programs compute?

      Axelsen, H. B. & Glück, Robert, 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Hofmann, M. (ed.). Springer, p. 42-56 15 p. (Lecture notes in computer science, Vol. 6604).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    10. Published

      A simple and efficient universal reversible Turing machine

      Axelsen, H. B. & Glück, Robert, 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (eds.). Springer, p. 117-128 12 p. (Lecture notes in computer science, Vol. 6638).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    11. Published

      On reversible Turing machines and their function universality

      Axelsen, H. B. & Glück, Robert, 2016, In: Acta Informatica. 53, 5, p. 509-543 35 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    12. Published

      MicroPower - Towards Low-power Microprocessors with Reversible Computing

      Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, In: ERCIM News. 79, p. 20-21 2 p.

      Research output: Contribution to journal › Journal article › Communication

    13. Published

      Reversible machine code and its abstract processor architecture

      Axelsen, H. B., Glück, Robert & Yokoyama, T., 2007, Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Diekert, V., Volkov, M. & Voronkov, A. (eds.). Springer, p. 56-69 (Lecture notes in computer science; No. 4649).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    14. Published

      A classical propositional logic for reasoning about reversible logic circuits

      Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    15. Published

      Reversible representation and manipulation of constructor terms in the heap

      Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    16. Published

      Partial evaluation of numerical programs in Fortran

      Baier, R., Glück, Robert & Zöchling, R., 1994, In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipul.. p. 119-132

      Research output: Contribution to journal › Journal article › Research › peer-review

    17. Published

      Specialization of numerical programs with the FSpec system

      Baier, R., Glück, Robert & Zöchling, R., 1996, Software Engineering im Scientific Computing. Mackens, W. & Rump, S. M. (eds.). Vieweg Verlag, p. 86-93

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    18. Published

      International Workshop on Program Understanding. Proceedings

      Bulyonkov, M. A. (ed.) & Glück, Robert (ed.), 2009, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 63 p.

      Research output: Book/Report › Anthology › Research

    19. 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

    20. Published

      International Workshop on Program Understanding. Proceedings

      Bulyonkov, M. A. (ed.) & Glück, Robert (ed.), 2011, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 48 p.

      Research output: Book/Report › Anthology › Research

    21. Published

      Binding-time analysis in partial evaluation: one size does not fit all

      Christensen, N. H., Glück, Robert & Laursen, S., 2000, Perspectives of System Informatics. Proceedings. Springer Verlag, p. 80-92 (Lecture notes in computer science, Vol. 1755).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    22. 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-220

      Research output: Contribution to journal › Journal article › Research › peer-review

    23. Published

      Data structures and dynamic memory management in reversible languages

      Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    24. Published

      Generative programming and active libraries

      Czarnecki, K., Eisenecker, U., Glück, Robert, Vandervoorde, D. & Veldhuizen, T., 2000, Generic Programming. Proceedings. Springer Verlag, p. 25-39 (Lecture notes in computer science, Vol. 1766).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    25. Published

      1998 symposium on partial evaluation

      Danvy, O., Glück, Robert & Thiemann, P., 1998, In: ACM Computing Surveys. 30, 3, p. 285-290

      Research output: Contribution to journal › Editorial › Research

    26. Published

      Partial Evaluation

      Danvy, O. (ed.), Glück, Robert (ed.) & Thiemann, P. (ed.), 1996, Springer Verlag. 514 p. (Lecture notes in computer science, Vol. 1110).

      Research output: Book/Report › Book › Research › peer-review

    27. Published

      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, In: The journal of logic programming. 41, 2&3, p. 231-277

      Research output: Contribution to journal › Journal article › Research › peer-review

    28. Published

      Designing garbage-free reversible implementations of the integer cosine transform

      De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.

      Research output: Contribution to journal › Journal article › Research › peer-review

    29. Published

      Implementation of an experimental system for automatic program transformation based on generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2009. 10 p.

      Research output: Contribution to conference › Paper › Research › peer-review

    30. Published

      Automatic generation of a Boyer-Moore type pattern matcher by generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, IEEE International Conference on Systems, Man and Cybernetics. IEEE Press, p. 200-205

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    31. Published

      WSDFU: program transformation system based on generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. A. & Sudborough, I. H. (eds.). Springer Verlag, p. 358-378 (Lecture notes in computer science, Vol. 2566).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    32. Published

      Program transformation system based on generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, In: New Generation Computing. 20, 1, p. 75-99

      Research output: Contribution to journal › Journal article › Research › peer-review

    33. Automatic generation of efficient string matching algorithms by generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, p. 1-8

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    34. Published

      On Jones-optimal specializers: a case study using Unmix

      Gade, J. & Glück, Robert, 2006, Programming Languages and Systems. Proceedings. Kobayashi, N. (ed.). Springer, p. 406-422 (Lecture notes in computer science, Vol. 4279).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    35. Published

      An experiment combining specialization with abstract interpretation

      Gallagher, J. P. & Glück, Robert, 2020, Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. arXiv.org, p. 155-158 4 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 320).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

    36. Published

      Generating optimizing specializers

      Glück, Robert & Jørgensen, J., 1994, IEEE International Conference on Computer Languages. IEEE Computer Society Press, p. 183-194

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    37. Published

      Proceedings of the 2nd DIKU-IST Workshop on the Foundations of Software

      Glück, Robert (ed.) & Hu, Z. (ed.), 2006, Department of Computer Science, University of Copenhagen. 174 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2006/07).

      Research output: Book/Report › Anthology › Research

    38. Published

      Nonlinear configurations for superlinear speedup by supercompilation

      Glück, Robert, Klimov, A. V. & Nepeivoda, A. N., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 32-51 20 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    39. Published

      Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.

      Glück, Robert & Leuschel, M., 2000, Perspectives of System Informatics. Proceedings. Bjørner, D., Broy, M. & Zamulin, A. V. (eds.). Springer, Vol. 1755. p. 93-100 (Lecture Notes in Computer Science (LNCS)).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    40. Published

      Reduction of language hierarchies by metacomputation

      Glück, Robert & Klimov, A. V., 1999, The Evolution of Complexity. Kluwer Academic Publishers, p. 129-140

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    41. Published

      An experiment in ping-pong protocol verification by nondeterministic pushdown automata

      Glück, Robert, 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Proceedings. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). Open Publishing Association, p. 169-184 (Electronic Proceedings in Theoretical Computer Science, Vol. 268).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    42. Published

      Reversible computing from a programming language perspective (extended abstract)

      Glück, Robert, 2020, Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers. Springer VS, Vol. 2. p. 410-412 3 p. (Lecture Notes in Computer Science, Vol. 12233).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

    43. Occam's razor in metacomputation: the notion of a perfect process tree

      Glück, Robert & Klimov, A. V., 1993, Static Analysis. Proceedings. Cousot, P., Falaschi, M., Filé, G. & Rauzy, A. (eds.). Springer Verlag, p. 112-123 (Lecture notes in computer science, Vol. 724).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    44. Published

      Constructing a binary tree from its traversals by reversible recursion and iteration

      Glück, Robert & Yokoyama, T., 2019, In: Information Processing Letters. 147, p. 32-37 6 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    45. Published

      Simulation of two-way pushdown automata revisited

      Glück, Robert, 2013, Semantics, abstract interpretation, and reasoning about programs. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). Vol. 129. p. 250-258 9 p. (Electronic Proceedings in Theoretical Computer Science).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    46. Published

      A regeneration scheme for generating extensions

      Glück, Robert & Klimov, A. V., 1997, In: Information Processing Letters. Vol.62, nr.3, p. 127-134

      Research output: Contribution to journal › Journal article › Research › peer-review

    47. Published

      Efficient multi-level generating extensions for program specialization

      Glück, Robert & Jørgensen, J., 1995, Programming Languages: Implementations, Logics and Programs. Springer Verlag, p. 259-278 (Lecture notes in computer science, Vol. 982).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    48. Published

      Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Proceedings

      Glück, Robert (ed.) & Moor, O. D. (ed.), 2008, New York: Association for Computing Machinery. 204 p.

      Research output: Book/Report › Anthology › Research › peer-review

    49. Published

      From reversible programming languages to reversible metalanguages

      Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2022, In: Theoretical Computer Science. 920, p. 46-63 18 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    50. Published

      Reversible programs have reversible semantics

      Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2020, Formal Methods. FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer VS, p. 413-427 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12233 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Previous 1 2 3 Next

    ID: 9668