Torben Ægidius Mogensen
Lektor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø, 01 Sigurdsgade 41, Bygning: 01-0-08
Medlem af:
- Udgivet
Garbage-free reversible multipliers for arbitrary constants
Mogensen, Torben Ægidius, 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 18 s., 12.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, s. 39-44Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 1910-1915 6 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Self-applicable Partial Evaluation for Pure Lambda Calculus
Mogensen, Torben Ægidius, 1992, publisher. s. 116-121Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Lienar-Time Self-Interpretation of the Pure Lambda Calculus
Mogensen, Torben Ægidius, 2000, I: Higher-Order and Symbolic Computation. Vol.13 (3), s. 217-237Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Reversible Functional Array Programming
Mogensen, Torben Ægidius, 2021, Reversible Computation 13th International - 13th International Conference, RC 2021, Proceedings. Yamashita, S. & Yokoyama, T. (red.). Springer, s. 45-63 19 s. (Lecture Notes in Computer Science, Bind 12805 ).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). s. 30-40 11 s. (Electronic Proceedings in Theoretical Computer Science, Bind 129).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- Udgivet
Basics of Compiler Design, Kursusbog 5 Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning
- Udgivet
Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755
Mogensen, Torben Ægidius, 2000, publisher. Springer, s. 128-142Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1
Mogensen, Torben Ægidius, 1999, publisher. s. 19-24Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- Udgivet
Hermes: A reversible language for lightweight encryption
Mogensen, Torben Ægidius, 2022, I: Science of Computer Programming. 215, 26 s., 102746.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Semi-Inversion of Guarded Equations
Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 udg. Berlin: Springer, s. 189-204 16 s.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
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. (red.). Springer, s. 322-334 13 s. (Lecture notes in computer science; Nr. 4378).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Software
Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, s. 1-5Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- Udgivet
Basics of Compiler Design, Kususbog 6 til Dat1E
Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning
- Udgivet
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. (red.). Springer, s. 203-217 15 s. (Lecture notes in computer science, Bind 9609).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 79-94 16 s. (Lecture notes in computer science, Bind 9138).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Basics of Compiler Design
Mogensen, Torben Ægidius, 2008, Extended udg. Lulu.com. 277 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning
- Udgivet
Programming Language Design and Implementation
Mogensen, Torben Ægidius, 2022, Springer. 321 s. (Texts in Computer Science).Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt
- Udgivet
Glossary for Partial Evaluation and Related Topics
Mogensen, Torben Ægidius, 2000, I: Higher-Order and Symbolic Computation. Vol.13 (4), s. 355-368Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 306-318 13 s. (Lecture notes in computer science, Bind 5947).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Partial evaluation: introduction what is partial evaluation?
Mogensen, Torben Ægidius & Sestoft, P., 1997, Encyclopedia of computer science and technology. Kent, A. & Williams, J. G. (red.). Suppl. 22 udg. New York: Marcel Dekker, Bind 37. s. 247-279 33 s.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- Udgivet
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, s. 1-12Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
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, s. 1-19Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
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, s. 35-36Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
ID: 3086
Flest downloads
-
5663
downloads
Planet map generation by tetrahedral subdivision
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
4519
downloads
Troll, a Language for specifying Dice-rolls
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
106
downloads
A comparison of well-quasi orders on trees
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
Udgivet