Robert Glück
Professor
- Udgivet
1998 symposium on partial evaluation
Danvy, O., Glück, Robert & Thiemann, P., 1998, I: ACM Computing Surveys. 30, 3, s. 285-290Publikation: Bidrag til tidsskrift › Leder › Forskning
- 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-171Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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
- 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-395Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- Udgivet
A positive supercompiler
Sørensen, M. H., Glück, Robert & Jones, N. D., 1996, I: Journal of Functional Programming. 6, 6, s. 811-838Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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-264Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A regeneration scheme for generating extensions
Glück, Robert & Klimov, A. V., 1997, I: Information Processing Letters. Vol.62, nr.3, s. 127-134Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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-153Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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
- 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
- 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-158Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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-479Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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
- 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-1383Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- Udgivet
An investigation of Jones optimality and BTI-universal specializers
Glück, Robert, 2008, I: Higher-Order and Symbolic Computation. 21, 3, s. 283-309Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
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-287Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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-205Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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-8Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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-77Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- 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-146Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 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-413Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 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-277Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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
- 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
- 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
- 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
Fortran program specialization
Kleinrubatscher, P., Kriegshaber, A., Zöchling, R. & Glück, Robert, 1995, I: SIGPLAN Notices. 30, 4, s. 61-70Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
- 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
- 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
- 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-211Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
ID: 9668
Flest downloads
-
259
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
203
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
117
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet