Robert Glück
Professor
- Udgivet
Reduction of language hierarchies by metacomputation
Glück, Robert & Klimov, A. V., 1999, The Evolution of Complexity. Kluwer Academic Publishers, s. 129-140Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Relating accumulative and non-accumulative functional programs
Kühnemann, A., Glück, Robert & Kakehi, K., 2001, Rewriting Techniques and Applications. Proceedings. Springer Verlag, s. 154-168 (Lecture notes in computer science, Bind 2051).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reversible Computation. Proceedings: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers
Glück, Robert (red.) & Yokoyama, T. (red.), 2013, Springer. 241 s. (Lecture notes in computer science, Bind 7581).Publikation: Bog/antologi/afhandling/rapport › Antologi › fagfællebedømt
- Udgivet
Reversible arithmetic logic unit for quantum arithmetic
Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, I: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 s., 382002.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Reversible computing from a programming language perspective
Glück, Robert & Yokoyama, T., 2023, I: Theoretical Computer Science. 953, 26 s., 113429.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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, Bind 2. s. 410-412 3 s. (Lecture Notes in Computer Science, Bind 12233).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- Udgivet
Reversible computing: foundations and software: Preface of Special Issue
Glück, Robert & Yokoyama, T., 2018, I: New Generation Computing. 36, 3, s. 143-144Publikation: Bidrag til tidsskrift › Leder › Forskning
- Udgivet
Reversible flowchart languages and the structured reversible program theorem
Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Automata, Languages and Programming: 35th International colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings. Part II. Aceto, L., Damgaard, I., Goldberg, L. A., Halldorsson, M. M., Ingolfsdottir, A. & Walukiewicz, I. (red.). Springer, s. 258-270 (Lecture notes in computer science; Nr. 5126).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
Schordan, M., Oppelstrup, T., Thomsen, Michael Kirkedal & Glück, Robert, 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. 187-207 (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
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. (red.). Springer, s. 56-69 (Lecture notes in computer science; Nr. 4649).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reversible programming: a case study of two string-matching algorithms
Glück, Robert & Yokoyama, T., 2022, Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation. Hamilton, G. W., Kahsai, T. & Proietti, M. (red.). arXiv.org, s. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 373).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer VS, s. 413-427 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12233 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 96-109 14 s. (Lecture notes in computer science, Bind 7948).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reversible structured program theorem
Yokoyama, T. & Glück, Robert, 2006, Nordic Workshop on Programming Theory. Reykjavik University, Iceland, 3 s.Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning
- Udgivet
Revisiting an automatic program inverter for Lisp
Glück, Robert & Kawabe, M., 2005, I: SIGPLAN Notices. 40, 5, s. 8-17Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
- Udgivet
Self-generating program specializers
Glück, Robert, 2010, I: Information Processing Letters. 110, 17, s. 787-793 7 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Semantics modifiers: an approach to non-standard semantics of programming languages
Abramov, S. M. & Glück, Robert, 1998, Functional and Logic Programming. World Scientific, s. 247-270Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Semi-inversion of conditional constructor term rewriting systems
Kirkeby, M. H. & Glück, Robert, 2020, Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Gabbrielli, M. (red.). Springer, s. 243-259 (Lecture Notes in Computer Science, Bind 12042).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Bind 129. s. 250-258 9 s. (Electronic Proceedings in Theoretical Computer Science).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- Udgivet
Software and reversible systems: A survey of recent activities
Mezzina, C. A., Schlatte, R., Glück, Robert, Haulund, T., Hoey, J., Holm Cservenka, M., Lanese, I., Mogensen, Torben Ægidius, Siljak, H., Schultz, U. P. & Ulidowski, I., 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. 41-59 19 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
Special issue on generative programming and component engineering
Glück, Robert & Visser, E., 2011, I: Science of Computer Programming. 76, 5, s. 347-348 2 s.Publikation: Bidrag til tidsskrift › Leder › Forskning
- Udgivet
Special issue on partial evaluation and program transformation
Glück, Robert & Futamura, Y., 2002, I: New Generation Computing. 20, 1, s. 1–2Publikation: Bidrag til tidsskrift › Leder › Forskning
- Udgivet
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. (red.). Vieweg Verlag, s. 86-93Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Proceedings
Glück, Robert (red.) & Moor, O. D. (red.), 2008, New York: Association for Computing Machinery. 204 s.Publikation: Bog/antologi/afhandling/rapport › Antologi › fagfællebedømt
- Udgivet
The generation of a higher-order online partial evaluator
Thiemann, P. & Glück, Robert, 1995, Functional and Logic Programming. World Scientific, s. 239-253Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 9668
Flest downloads
-
265
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi
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