Robert Glück
Professor
- Udgivet
What do reversible programs compute?
Axelsen, H. B. & Glück, Robert, 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Hofmann, M. (red.). Springer, s. 42-56 15 s. (Lecture notes in computer science, Bind 6604).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
WSDFU: program transformation system based on generalized partial computation
Futamura, Y., Konishi, Z. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. A. & Sudborough, I. H. (red.). Springer Verlag, s. 358-378 (Lecture notes in computer science, Bind 2566).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Transforming interpreters into inverse interpreters by partial evaluation
Glück, Robert, Kawada, Y. & Hashimoto, T., 2003, Partial evaluation and semantics-based program manipulation. ACM Press, s. 10-19Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards unifying partial evaluation, deforestation, supercompilation, and GPC
Sørensen, M. H., Glück, Robert & Jones, N. D., 1994, Programming Languages and Systems - ESOP '94. Sannella, D. (red.). Springer Verlag, s. 485-500 (Lecture notes in computer science, Bind 788).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards a Taxonomy for Reversible Computation Approaches
Glück, Robert, Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I. & Vidal, G., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (red.). Springer, s. 24-39 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13960 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards a Dereversibilizer: Fewer Asserts, Statically
Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (red.). Springer, s. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13960 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards a unified language architecture for reversible object-oriented programming
Hay-Schmidt, L., Glück, Robert, Cservenka, M. H. & Haulund, T., 2021, Reversible Computation.: 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings. Yamashita, S. & Yokoyama, T. (red.). Springer, s. 96-106 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12805 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards a reversible functional language
Yokoyama, T., 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. 14-29 16 s. (Lecture notes in computer science, Bind 7165).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
The universal resolving algorithm: inverse computation in a functional language
Abramov, S. M. & Glück, Robert, 2000, Mathematics of Program Construction. Backhouse, R. & Oliveira, J. N. (red.). Bind 1837. s. 187-212 (Lecture notes in computer science, Bind 1837).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
The universal resolving algorithm and its correctness: inverse computation in a functional language
Abramov, S. M. & Glück, Robert, 2002, I: Science of Computer Programming. 43, 2-3, s. 193-229Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
The translation power of the Futamura projections
Glück, Robert, 2003, Perspectives of System Informatics. Broy, M. & Zamulin, A. V. (red.). Springer Verlag, s. 133-147 (Lecture notes in computer science, Bind 2890).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
The program inverter LRinv and its structure
Kawabe, M. & Glück, Robert, 2005, Practical Aspects of Declarative Languages. Proceedings. Hermenegildo, M. & Cabeza, D. (red.). Springer Verlag, s. 219-234 (Lecture notes in computer science, Bind 3350).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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
- 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 › Forskning › fagfællebedømt
- 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
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
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
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
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
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
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
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
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
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
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 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 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 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 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 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 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 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 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 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 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 › 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
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
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-34Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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-99Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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
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
- 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-54Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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-132Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- Udgivet
Partial Evaluation of Reversible Flowchart Programs
Normann, Louis Marott & Glück, Robert, 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (red.). Association for Computing Machinery, s. 119-133 15 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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
- Udgivet
On the generation of specializers
Glück, Robert, 1994, I: Journal of Functional Programming. 4, 4, s. 499-514Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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-95Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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-220Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
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
- 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
- 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
- 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
- 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
- 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-243Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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-1570Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning
- 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
- Udgivet
Making programs reversible with minimal extra data
Glück, Robert & Yokoyama, T., 2022, I: New Generation Computing. 40, 2, s. 467-480Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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-1850Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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-19Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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
- 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-31Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Udgivet
Generating optimizing specializers
Glück, Robert & Jørgensen, J., 1994, IEEE International Conference on Computer Languages. IEEE Computer Society Press, s. 183-194Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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
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
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
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
- 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 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
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
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
- 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 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 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 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 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 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 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 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
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
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
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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
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
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