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: Title
    1. 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

    2. Published

      A categorical foundation for structured reversible flowchart languages

      Glück, Robert & Kaarsgaard, R., 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171

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

    3. Published

      A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

      Glück, Robert & Kaarsgaard, R., 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.

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

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

    5. Published

      A linear-time self-interpreter of a reversible imperative language

      Glück, Robert & Yokoyama, T., 2016, In: Computer Software. 33, 3, p. 108-128 21 p.

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

    6. Published

      A loop optimization technique based on quasi-invariance

      Song, L., Futamura, Y., Glück, Robert & Hu, Z., 2000, International Conference on Software Theory and Practice. 16th IFIP World Computer Conference.

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

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

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

    8. Published

      A minimalist’s reversible while language

      Glück, Robert & Yokoyama, T., May 2017, In: IEICE Transactions on Information and Systems. E100-D, 5, p. 1026-1034 9 p.

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

    9. Published

      A positive supercompiler

      Sørensen, M. H., Glück, Robert & Jones, N. D., 1996, In: Journal of Functional Programming. 6, 6, p. 811-838

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

    10. Published

      A practical simulation result for two-way pushdown automata

      Glück, Robert, 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (eds.). Springer, p. 113-124 (Lecture Notes in Computer Science; No. 9705).

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

    11. 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-264

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

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

    13. Published

      A reversible processor architecture and its reversible logic design

      Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 30-42 13 p. (Lecture notes in computer science, Vol. 7165).

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

    14. Published

      A reversible programming language and its invertible self-interpreter

      Yokoyama, T. & Glück, Robert, 2007, PEPM 2007: Proceedings of the Workshop on Partial Evaluation and Program Manipulation, Nice, France, January 15-16, 2007. Association for Computing Machinery, p. 144-153

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

    15. Published

      A roadmap to metacomputation by supercompilation

      Glück, Robert & Sørensen, M. H., 1996, Partial Evaluation. Springer Verlag, p. 137-160 (Lecture notes in computer science, Vol. 1110).

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

    16. Published

      A self-applicable online partial evaluator for recursive flowchart languages

      Glück, Robert, 2012, In: Software: Practice & Experience. 42, 6, p. 649-673 25 p.

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

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

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

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

    20. Published

      An Automatic Program Generator for Multi-Level Specialization

      Glück, Robert, Hatcliff, J. & Jørgensen, J., 1997, In: Higher-Order and Symbolic Computation. Vol.10, nr.2, p. 113-158

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

    21. Published

      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. (ed.). MIT Press, p. 465-479

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

    22. Published

      An efficient composition of bidirectional programs by memoization and lazy update

      Tsushima, K., Trong, B. N., Glück, Robert & Hu, Z., 2020, Functional and Logic Programming.: 15th International Symposium, FLOPS 2020 Akita, Japan, September 14–16, 2020 Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer, p. 159-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12073 LNCS).

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

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

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

    25. Published

      An experiment with the fourth Futamura projection

      Glück, Robert, 2010, Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 135-150 16 p. (Lecture notes in computer science, Vol. 5947).

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

    26. Published

      An extension of shortcut deforestation for accumulative list folding

      Kakehi, K., Futamura, Y. & Glück, Robert, 2002, In: IEICE Transactions on Information and Systems. E85-D, 9, p. 1372-1383

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

    27. Published

      An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

      Mikkelsen, M. B., Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (eds.). arxiv.org, p. 33-41 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 341).

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

    28. Published

      An investigation of Jones optimality and BTI-universal specializers

      Glück, Robert, 2008, In: Higher-Order and Symbolic Computation. 21, 3, p. 283-309

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

    29. Application of metasystem transition to function inversion and transformation

      Glück, Robert & Turchin, V. F., 1990, International Symposium on Symbolic and Algebraic Computation. Proceedings. ACM Press, p. 286-287

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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. 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

    32. Published

      Automatic program specialization by partial evaluation: an introduction

      Glück, Robert & Jones, N. D., 1996, Software Engineering im Scientific Computing. Mackens, W. & Rump, S. M. (eds.). Vieweg Verlag, p. 70-77

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

    33. Published

      Binding-time analysis applied to mathematical algorithms

      Glück, Robert, Nakashige, R. & Zöchling, R., 1996, System Modelling and Optimization. Doležal, J. & Fidler, J. (eds.). Chapman & Hall, p. 137-146

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

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

    35. Published

      Bootstrapping compiler generators from partial evaluators

      Glück, Robert, 2012, Perspectives of System Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 125-141 17 p. (Lecture notes in computer science, Vol. 7162).

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

    36. Published

      Bootstrapping higher-order program transformers from interpreters

      Sperber, M., Glück, Robert & Thiemann, P., 1996, Proceedings of the 1996 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 408-413

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

    37. Published

      Cleaning up: garbage-free reversible circuits by design languages

      Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, p. 6-10 5 p.

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

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

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

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

    41. Published

      Controlling conjunctive partial deduction

      Glück, Robert, Jørgensen, J., Martens, B. & Sørensen, M. H., 1996, Programming Languages: Implementations, Logics and Programs. Kuchen, H. & Swierstra, S. D. (eds.). Springer Verlag, p. 152-166 (Lecture notes in computer science, Vol. 1140).

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

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

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

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

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

    46. Published

      Fast binding-time analysis for multi-level specialization

      Glück, Robert & Jørgensen, J., 1996, Perspectives of System Informatics. Bjørner, D., Broy, M. & Pottosin, I. V. (eds.). Springer Verlag, p. 261-272 (Lecture notes in computer science, Vol. 1181).

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

    47. Fortran program specialization

      Kleinrubatscher, P., Kriegshaber, A., Zöchling, R. & Glück, Robert, 1995, In: SIGPLAN Notices. 30, 4, p. 61-70

      Research output: Contribution to journal › Journal article › Research

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

    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

      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

    Previous 1 2 3 Next

    ID: 9668