Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor

Member of:

    ORCID: 0000-0003-4862-9193

    Publication year:
    All
    26 - 50 out of 54Page size: 25
    Sort by: 1st author
    1. Published

      Garbage-free reversible multipliers for arbitrary constants

      Mogensen, Torben Ægidius, 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 18 p., 12.

      Research output: Contribution to journal › Journal article › Research › peer-review

    2. Published

      Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

      Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44

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

    3. Published

      Troll, a Language for specifying Dice-rolls

      Mogensen, Torben Ægidius, 2009, Proceedings of the 2009 ACM symposium on Applied Computing: Programming Language Track. Association for Computing Machinery, p. 1910-1915 6 p.

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

    4. Published

      Self-applicable Partial Evaluation for Pure Lambda Calculus

      Mogensen, Torben Ægidius, 1992, publisher. p. 116-121

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

    5. Published

      Lienar-Time Self-Interpretation of the Pure Lambda Calculus

      Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237

      Research output: Contribution to journal › Journal article › Research › peer-review

    6. Published

      Reversible Functional Array Programming

      Mogensen, Torben Ægidius, 2021, Reversible Computation 13th International - 13th International Conference, RC 2021, Proceedings. Yamashita, S. & Yokoyama, T. (eds.). Springer, p. 45-63 19 p. (Lecture Notes in Computer Science, Vol. 12805 ).

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

    7. Published

      A comparison of well-quasi orders on trees

      Mogensen, Torben Ægidius, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 30-40 11 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

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

    8. Published

      Basics of Compiler Design, Kursusbog 5 Dat1E

      Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 p.

      Research output: Book/Report › Book › Education

    9. Published

      Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

      Mogensen, Torben Ægidius, 2000, publisher. Springer, p. 128-142

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

    10. Published

      Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

      Mogensen, Torben Ægidius, 1999, publisher. p. 19-24

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

    11. Published

      Hermes: A reversible language for lightweight encryption

      Mogensen, Torben Ægidius, 2022, In: Science of Computer Programming. 215, 26 p., 102746.

      Research output: Contribution to journal › Journal article › Research › peer-review

    12. Published

      Semi-Inversion of Guarded Equations

      Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 ed. Berlin: Springer, p. 189-204 16 p.

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    13. Published

      Report on an Implementation of a Semi-Inverter

      Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).

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

    14. Published

      Software

      Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, p. 1-5

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

    15. Published

      Basics of Compiler Design, Kususbog 6 til Dat1E

      Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 p.

      Research output: Book/Report › Book › Education

    16. Published

      RSSA: a reversible SSA form

      Mogensen, Torben Ægidius, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 203-217 15 p. (Lecture notes in computer science, Vol. 9609).

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

    17. Published

      Garbage collection for reversible functional languages

      Mogensen, Torben Ægidius, 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 79-94 16 p. (Lecture notes in computer science, Vol. 9138).

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

    18. Published

      Basics of Compiler Design

      Mogensen, Torben Ægidius, 2008, Extended ed. Lulu.com. 277 p.

      Research output: Book/Report › Book › Education

    19. Published

      Programming Language Design and Implementation

      Mogensen, Torben Ægidius, 2022, Springer. 321 p. (Texts in Computer Science).

      Research output: Book/Report › Book › Research › peer-review

    20. Published

      Glossary for Partial Evaluation and Related Topics

      Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368

      Research output: Contribution to journal › Journal article › Research › peer-review

    21. Published

      Planet map generation by tetrahedral subdivision

      Mogensen, Torben Ægidius, 2010, Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 306-318 13 p. (Lecture notes in computer science, Vol. 5947).

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

    22. Published

      Partial evaluation: introduction what is partial evaluation?

      Mogensen, Torben Ægidius & Sestoft, P., 1997, Encyclopedia of computer science and technology. Kent, A. & Williams, J. G. (eds.). Suppl. 22 ed. New York: Marcel Dekker, Vol. 37. p. 247-279 33 p.

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

    23. Published

      Inherited Limits

      Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, p. 1-12

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    24. Published

      Partial evaluation Concepts and Applications

      Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, p. 1-19

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    25. Published

      Normalization for a Subset of Scheme using Type Predicates (Summary)

      Mogensen, Torben Ægidius, 1998, Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1, p. 35-36

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    Previous 1 2 3 Next

    ID: 3086