Torben Ægidius Mogensen
Lektor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø, 01 Sigurdsgade 41, Bygning: 01-0-08
Medlem af:
- 1992
- Udgivet
Efficient Self-Interpretation in Lambda Calculus
Mogensen, Torben Ægidius, 1992, I: Journal of Functional Programming. 2(3), s. 345-364Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Logimix: a self-applicable partial evaluator for Prolog.
Mogensen, Torben Ægidius & Bondorf, A., 1992, publisher. s. 214-227Publikation: 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
- 1994
- Udgivet
Worm-2dpdas: An extension to 2dpdas that can be simulated in linear time
Mogensen, Torben Ægidius, 1994, I: Information Processing Letters.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 1995
- 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
- 1997
- 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
- 1998
- 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
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
- 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
Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467
Mogensen, Torben Ægidius, 1998, publisher. Springer, s. 112-122Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 1999
- 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
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
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
Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706
Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt
- Udgivet
Tractable Constraints in Finite Semilattices
Rehof, N. J. & Mogensen, Torben Ægidius, 1999, I: Science of Computer Programming. Vol.35, no.2-3, November, s. 191-221Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2000
- Udgivet
Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition
Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
- 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
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
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
- 2001
- Udgivet
An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244
Mogensen, Torben Ægidius, 2001, publisher. Springer, s. 205-213Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2002
- Udgivet
Roll: A Language for Specifying Die-Rolls
Mogensen, Torben Ægidius, 2002, publisher. Springer, s. 15Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2003
- Udgivet
Linear Types for Cashflow Reengineering
Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 udg. Berlin: Springer, s. 13-21Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- 2005
- Udgivet
Report on an Implementation of a Semi-Inverter
Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 udg. Museum Tusculanum, s. 54-62 9 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- 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
- 2006
- 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
- 2008
- Udgivet
Basics of Compiler Design
Mogensen, Torben Ægidius, 2008, Extended udg. Lulu.com. 277 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning
- Udgivet
Semi-Inversion of Functional Parameters
Mogensen, Torben Ægidius, 2008, PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Glück, R. & de Moor, O. (red.). Association for Computing Machinery, s. 21-29 9 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2009
- 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
- 2010
- Udgivet
Den digitale revolution: fortællinger fra datalogiens verden
Naur, P., Vinter, B., Hansen, Klaus, Mogensen, Torben Ægidius, Erleben, Kenny, Pisinger, D., Nielsen, Mads, Kringelbach, M., Pedersen, E. W., Blume, P., Helles, Rasmus, Andersen, Tariq Osman (red.), Bansler, Jørgen P. (red.), Clausen, H. R. (red.), Jensen, I. H. (red.) & Zachariasen, M. (red.), 2010, København: Datalogisk Institut. 156 s.Publikation: Bog/antologi/afhandling/rapport › Antologi › Formidling
- 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
- 2011
- Udgivet
Introduction to compiler design
Mogensen, Torben Ægidius, 2011, Springer. 204 s.Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning
- 2012
- Udgivet
Partial evaluation of Janus part 2: assertions and procedures
Mogensen, Torben Ægidius, 2012, Perspectives of Systems 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. 289-301 13 s. (Lecture notes in computer science, Bind 7162).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2013
- 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
Garbage-free reversible constant multipliers for arbitrary integers
Mogensen, Torben Ægidius, 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (red.). Springer, s. 70-83 14 s. (Lecture notes in computer science, Bind 7948).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2014
- 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
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
Reference counting for reversible languages
Mogensen, Torben Ægidius, 2014, Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Yamashita, S. & Minato, S. (red.). Springer, s. 82-94 13 s. (Lecture notes in computer science, Bind 8507).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2015
- 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
Supercompilation for datatypes
Mogensen, Torben Ægidius, 2015, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (red.). Springer, s. 232-247 16 s. (Lecture notes in computer science, Bind 8974).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2016
- Udgivet
Programming (Computers)
Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, s. 1-8Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- 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
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
- 2017
- 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
- 2018
- 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
Reversible Garbage Collection for Reversible Functional Languages
Mogensen, Torben Ægidius, jul. 2018, I: New Generation Computing. 36, 3, s. 203-232Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Garbage-Free Reversible Multiplication and Division
Mogensen, Torben Ægidius, 22 aug. 2018, Reversible Computetion: 10th International Conference, RC 2018 Leicester, UK, September 12–14, 2018 Proceedings. Kari, J. & Ulidowski, I. (red.). Springer, s. 253-268 (Lecture Notes in Computer Science, Bind 11106).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2019
- Udgivet
Reversible in-place carry-lookahead addition with few ancillae
Mogensen, Torben Ægidius, 2019, Reversible Computation: 11th International Conference, RC 2019, Proceedings. Thomsen, M. K. & Soeken, M. (red.). Springer, s. 224-237 14 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11497 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)
Mogensen, Torben Ægidius, jan. 2019, Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (red.). Springer VS, s. 243-251 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11964 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2020
- Udgivet
Hermes: A Language for Light-Weight Encryption
Mogensen, Torben Ægidius, 2020, Reversible Computation - 12th International Conference, RC 2020, Proceedings. Lanese, I. & Rawski, M. (red.). Springer, s. 93-110 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12227 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › 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
- 2021
- 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
- 2022
- Udgivet
Fast Control for Reversible Processors
Mogensen, Torben Ægidius, 2022, Reversible Computation: 14th International Conference, RC 2022 Urbino, Italy, July 5–6, 2022 Proceedings. Mezzina, CA. & Podlaski, K. (red.). Springer, s. 51-64 (Lecture Notes in Computer Science, Bind 13354).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
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
ID: 3086
Flest downloads
-
5654
downloads
Planet map generation by tetrahedral subdivision
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
4506
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