Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

    Udgivelsesår:
    Alle
    1 - 100 ud af 136Pr. side: 100
    Sortering: Titel
    1. Udgivet

      1998 symposium on partial evaluation

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

      Publikation: Bidrag til tidsskrift › Leder › Forskning

    2. Udgivet

      A categorical foundation for structured reversible flowchart languages

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    3. Udgivet

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

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    4. Udgivet

      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. (red.). Springer, s. 52-67 16 s. (Lecture notes in computer science, Bind 9803).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    5. Udgivet

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

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    6. Udgivet

      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.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    8. Udgivet

      A minimalist’s reversible while language

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    9. Udgivet

      A positive supercompiler

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    10. Udgivet

      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. (red.). Springer, s. 113-124 (Lecture Notes in Computer Science; Nr. 9705).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    11. Udgivet

      A program inverter for a functional language with equality and constructors

      Glück, Robert & Kawabe, M., 2003, Programming Languages and Systems. Ohori, A. (red.). Springer Verlag, Bind 2895. s. 246-264

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    12. Udgivet

      A regeneration scheme for generating extensions

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    13. Udgivet

      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. (red.). Springer, s. 30-42 13 s. (Lecture notes in computer science, Bind 7165).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    14. Udgivet

      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, s. 144-153

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    15. Udgivet

      A roadmap to metacomputation by supercompilation

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    16. Udgivet

      A self-applicable online partial evaluator for recursive flowchart languages

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    17. Udgivet

      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. (red.). Springer, s. 117-128 12 s. (Lecture notes in computer science, Bind 6638).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    18. Udgivet

      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. (red.). Springer, s. 27-40 (Lecture notes in computer science; Nr. 4378).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    19. Udgivet

      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. (red.). Springer, Bind 1755. s. 93-100 (Lecture Notes in Computer Science (LNCS)).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    20. Udgivet

      An Automatic Program Generator for Multi-Level Specialization

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    21. Udgivet

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    22. Udgivet

      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. (red.). Springer, s. 159-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12073 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    23. Udgivet

      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, s. 155-158 4 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 320).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    24. Udgivet

      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. (red.). Open Publishing Association, s. 169-184 (Electronic Proceedings in Theoretical Computer Science, Bind 268).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    25. Udgivet

      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. (red.). Springer, s. 135-150 16 s. (Lecture notes in computer science, Bind 5947).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    26. Udgivet

      An extension of shortcut deforestation for accumulative list folding

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    27. Udgivet

      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. (red.). arxiv.org, s. 33-41 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 341).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    28. Udgivet

      An investigation of Jones optimality and BTI-universal specializers

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    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, s. 286-287

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    30. Udgivet

      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, s. 200-205

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    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, s. 1-8

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    32. Udgivet

      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. (red.). Vieweg Verlag, s. 70-77

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    33. Udgivet

      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. (red.). Chapman & Hall, s. 137-146

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    34. Udgivet

      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, s. 80-92 (Lecture notes in computer science, Bind 1755).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    35. Udgivet

      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. (red.). Springer, s. 125-141 17 s. (Lecture notes in computer science, Bind 7162).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    36. Udgivet

      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, s. 408-413

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    37. Udgivet

      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, s. 6-10 5 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    38. Udgivet

      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. (red.). Springer Verlag, s. 201-213 (Lecture notes in computer science, Bind 1974).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    39. Udgivet

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    40. Udgivet

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

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    41. Udgivet

      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. (red.). Springer Verlag, s. 152-166 (Lecture notes in computer science, Bind 1140).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    42. Udgivet

      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. (red.). Springer, s. 269-285 (Lecture notes in computer science, Bind 11106).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    43. Udgivet

      Derivation of deterministic inverse programs based on LR parsing

      Glück, Robert & Kawabe, M., 2004, Functional and Logic Programming. Proceedings. Springer Verlag, s. 291-306 (Lecture notes in computer science, Bind 2998).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    44. Udgivet

      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, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    45. Udgivet

      Efficient multi-level generating extensions for program specialization

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    46. Udgivet

      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. (red.). Springer Verlag, s. 261-272 (Lecture notes in computer science, Bind 1181).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    47. Fortran program specialization

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    48. Udgivet

      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. (red.). Springer VS, s. 1-40 40 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    49. Udgivet

      From reversible programming languages to reversible metalanguages

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    50. Udgivet

      From standard to non-standard semantics by semantics modifiers

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    51. Udgivet

      Fundamentals of reversible flowchart languages

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2016, I: Theoretical Computer Science. 611, s. 87-115 29 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    52. Udgivet

      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. (red.). Springer Verlag, s. 179-198 (Lecture notes in computer science, Bind 1559).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    53. Udgivet

      Generating optimizing specializers

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    54. Udgivet

      Generating transformers for deforestation and supercompilation

      Glück, Robert & Jørgensen, J., 1994, Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Le Charlier, B. (red.). Springer, s. 432-448 17 s. (Lecture notes in computer science, Bind 864).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

    56. Udgivet

      Generative programming and active libraries

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    57. Udgivet

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

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

      Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

    58. Udgivet

      Implementing reversible object-oriented language features on reversible machines

      Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (red.). Springer, s. 66-73 8 s. (Lecture notes in computer science, Bind 10301).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    59. Udgivet

      International Workshop on Program Understanding. Proceedings

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

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

    60. Udgivet

      International Workshop on Program Understanding. Proceedings

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

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

    61. Udgivet

      International Workshop on Program Understanding. Proceedings

      Bulyonkov, M. A. (red.) & Glück, Robert (red.), 2003, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 111 s.

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

    62. Udgivet

      Introduction to Valentin Turchin’s cybernetic foundation of mathematics

      Glück, Robert & Klimov, A. V., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (red.). University of Pereslavl, s. 26-31

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    63. Udgivet

      Introduction to supercompilation

      Sørensen, M. H. & Glück, Robert, 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (red.). Springer Verlag, s. 246-270 (Lecture notes in computer science, Bind 1706).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    64. Udgivet

      Inversion framework: reasoning about inversion by conditional term rewriting systems

      Kirkeby, M. H. & Glück, Robert, 2020, PPDP '20: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 14 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    65. Udgivet

      Is there a fourth Futamura projection?

      Glück, Robert, 2009, PEPM´09: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 51-60 10 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    66. Udgivet

      Join inverse categories and reversible recursion

      Kaarsgaard, R., Axelsen, H. B. & Glück, Robert, 2017, I: Journal of Logical and Algebraic Methods in Programming. 87, s. 33-50 18 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    67. Udgivet

      Jones optimality, binding-time improvements, and the strength of program specializers

      Glück, Robert, 2002, Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, s. 9-19

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    68. Udgivet

      Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

      Glück, Robert (red.) & Kafle, B. (red.), 2023, Springer. 211 s. (Lecture Notes in Computer Science, Bind 14330).

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

    69. Udgivet

      Loop quasi-invariance code motion

      Song, L., Futamura, Y., Glück, Robert & Hu, Z., 2000, I: IEICE Transactions on Information and Systems. E83-D, 10, s. 1841-1850

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    70. Udgivet

      Making programs reversible with minimal extra data

      Glück, Robert & Yokoyama, T., 2022, I: New Generation Computing. 40, 2, s. 467-480

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    71. Udgivet

      Maximally-polyvariant partial evaluation in polynomial time

      Glück, Robert, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (red.). Springer, s. 130-148 19 s. (Lecture notes in computer science, Bind 9609).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    72. Udgivet

      Metacomputation as a tool for formal linguistic modeling

      Glück, Robert & Klimov, A. V., 1994, I: Cybernetics and Systems '94. Vol 2, s. 1563-1570

      Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning

    73. Udgivet

      Metasystem transition schemes in computer science and mathematics

      Glück, Robert & Klimov, A. V., 1995, I: World Futures: The Journal of New Paradigm Research. 45, 1-4, s. 213-243

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    74. Udgivet

      MicroPower - Towards Low-power Microprocessors with Reversible Computing

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

    75. Udgivet

      Minimizing garbage size by generating reversible simulations

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Proceedings of the 2012 Third International Conference on Networking and Computing (ICNC). IEEE, s. 379-387 9 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    76. Udgivet

      Multi-level specialization

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    77. Udgivet

      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. (red.). University of Pereslavl, s. 32-51 20 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    78. 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. (red.). Springer Verlag, s. 112-123 (Lecture notes in computer science, Bind 724).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    79. Udgivet

      Offline partial evaluation can be as accurate as online partial evaluation

      Christensen, N. H. & Glück, Robert, 2004, I: ACM Transactions on Programming Languages and Systems. 26, 1, s. 191-220

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    80. Udgivet

      On Jones-optimal specializers: a case study using Unmix

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    81. Udgivet

      On deforesting parameters of accumulating maps

      Kakehi, K., Glück, Robert & Futamura, Y., 2002, Logic Based Program Synthesis and Transformation. Pettorossi, A. (red.). Springer Verlag, s. 46-56 (Lecture notes in computer science, Bind 2372).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    82. Udgivet

      On reversible Turing machines and their function universality

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    83. Udgivet

      On the degeneration of program generators by program composition

      Glück, Robert & Klimov, A. V., 1998, I: New Generation Computing. 16, 1, s. 75-95

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    84. Udgivet

      On the generation of specializers

      Glück, Robert, 1994, I: Journal of Functional Programming. 4, 4, s. 499-514

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    85. Udgivet

      On the mechanics of metasystem hierarchies in program transformation

      Glück, Robert, 1996, Logic Program Synthesis and Transformation. Proceedings. Proietti, M. (red.). Springer Verlag, s. 234-251 (Lecture notes in computer science, Bind 1048).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    86. Udgivet

      Optimized Reversible Binary-Coded Decimal Adders

      Thomsen, Michael Kirkedal & Glück, Robert, 2008, I: Journal of Systems Architecture. 54, 7, s. 697-706 9 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    87. Udgivet

      Optimizing reversible simulation of injective functions

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, I: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, s. 5-24 20 s.

      Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

    88. Udgivet

      Partial Evaluation

      Danvy, O. (red.), Glück, Robert (red.) & Thiemann, P. (red.), 1996, Springer Verlag. 514 s. (Lecture notes in computer science, Bind 1110).

      Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt

    89. Udgivet

      Partial deduction and driving are equivalent

      Glück, Robert & Sørensen, M. H., 1994, Programming Language Implementation and Logic Programming Book Subtitle: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings. Hermenegildo, M. & Penjam, J. (red.). Springer, s. 165-181 17 s. (Lecture notes in computer science, Bind 844).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    90. Udgivet

      Partial evaluation of numerical programs in Fortran

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    91. Udgivet

      Principles of a reversible programming language

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Conference on Computing Frontiers, CF 2008: Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italy May 5-7, 2008. Association for Computing Machinery, s. 43-54

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    92. 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. (red.). Springer Verlag, s. 269-295 (Lecture notes in computer science, Bind 2566).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

    94. Udgivet

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

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

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

    95. Udgivet

      Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software

      Glück, Robert (red.) & Hagiya, M. (red.), 2007, Department of Computer Science, University of Copenhagen. 172 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2007/07).

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

    96. Udgivet

      Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

      Glück, Robert (red.), Henglein, Fritz (red.), Hu, Z. (red.) & Takeichi, M. (red.), 2011, Department of Computer Science, University of Copenhagen. 280 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2011/01).

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

    97. Udgivet

      Program transformation system based on generalized partial computation

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    98. Udgivet

      Reasoning about hierarchies of online program specialization systems

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    99. Recursion removal and introduction using assignments

      Kakehi, K., Glück, Robert & Futamura, Y., 2001, I: IPSJ Transactions on Programming. 42, SIG 7(PRO 11), s. 12-34

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    100. Udgivet

      Reduction of language hierarchies by metacomputation

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

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    Forrige 1 2 Næste

    ID: 9668