Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

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

      Special issue on generative programming and component engineering

      Glück, Robert & Visser, E., 2011, In: Science of Computer Programming. 76, 5, p. 347-348 2 p.

      Research output: Contribution to journal › Editorial › Research

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

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

    4. Published

      Multi-level specialization

      Glück, Robert & Jørgensen, J., 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (eds.). Springer Verlag, p. 326-337 (Lecture notes in computer science, Vol. 1706).

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

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

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

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

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

    9. Published

      Generalization in hierarchies of online program specialization systems

      Glück, Robert, Hatcliff, J. & Jørgensen, J., 1999, Logic-Based Program Synthesis and Transformation. Proceedings. Flener, P. (ed.). Springer Verlag, p. 179-198 (Lecture notes in computer science, Vol. 1559).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    25. Published

      Reasoning about hierarchies of online program specialization systems

      Hatcliff, J. & Glück, Robert, 1996, Partial Evaluation. Springer Verlag, p. 161-182 (Lecture notes in computer science, Vol. 1110).

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

    Previous 1 2 3 4 5 6 Next

    ID: 9668