Torben Æ. Mogensen

According to our database, Torben Æ. Mogensen authored at least 53 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Introduction to Compiler Design, Third Edition

Torben Ægidius Mogensen

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-031-46459-1, 2024

2022

Programming Language Design and Implementation

Torben Ægidius Mogensen

Texts in Computer Science, Springer, ISBN: 978-3-031-11805-0, 2022

Hermes: A reversible language for lightweight encryption.

Torben Ægidius Mogensen

Sci. Comput. Program., 2022

Fast Control for Reversible Processors.

Torben Ægidius Mogensen

Proceedings of the Reversible Computation - 14th International Conference, 2022

2021

Reversible Functional Array Programming.

Torben Ægidius Mogensen

Proceedings of the Reversible Computation - 13th International Conference, 2021

2020

Software and Reversible Systems: A Survey of Recent Activities.

Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Hermes: A Language for Light-Weight Encryption.

Torben Ægidius Mogensen

Proceedings of the Reversible Computation - 12th International Conference, 2020

2019

Reversible In-Place Carry-Lookahead Addition with Few Ancillae.

Torben Ægidius Mogensen

Proceedings of the Reversible Computation - 11th International Conference, 2019

Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress).

Torben Ægidius Mogensen

Proceedings of the Perspectives of System Informatics, 2019

2018

Reversible Garbage Collection for Reversible Functional Languages.

Torben Ægidius Mogensen

New Gener. Comput., 2018

Garbage-Free Reversible Multiplication and Division.

Torben Ægidius Mogensen

Proceedings of the Reversible Computation - 10th International Conference, 2018

Data Structures and Dynamic Memory Management in Reversible Languages.

Martin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen

Proceedings of the Reversible Computation - 10th International Conference, 2018

2017

Introduction to Compiler Design, Second Edition

Torben Ægidius Mogensen

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-319-66965-6, 2017

Implementing Reversible Object-Oriented Language Features on Reversible Machines.

Tue Haulund, Torben Ægidius Mogensen, Robert Glück

Proceedings of the Reversible Computation - 9th International Conference, 2017

2015

Garbage Collection for Reversible Functional Languages.

Torben Ægidius Mogensen

Proceedings of the Reversible Computation - 7th International Conference, 2015

RSSA: A Reversible SSA Form.

Torben Ægidius Mogensen

Proceedings of the Perspectives of System Informatics, 2015

2014

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform.

Alexis De Vos, Stéphane Burignat, Robert Glück, Torben Ægidius Mogensen, Holger Bock Axelsen, Michael Kirkedal Thomsen, Eva Rotenberg, Tetsuo Yokoyama

ACM J. Emerg. Technol. Comput. Syst., 2014

Garbage-Free Reversible Multipliers for Arbitrary Constants.

Torben Ægidius Mogensen

ACM J. Emerg. Technol. Comput. Syst., 2014

Reference Counting for Reversible Languages.

Torben Ægidius Mogensen

Proceedings of the Reversible Computation - 6th International Conference, 2014

Supercompilation for Datatypes.

Torben Ægidius Mogensen

Proceedings of the Perspectives of System Informatics, 2014

2013

A Comparison of Well-Quasi Orders on Trees.

Torben Æ. Mogensen

Proceedings of the Semantics, 2013

Garbage-Free Reversible Constant Multipliers for Arbitrary Integers.

Torben Æ. Mogensen

Proceedings of the Reversible Computation - 5th International Conference, 2013

2011

Introduction to Compiler Design.

Torben Ægidius Mogensen

Undergraduate Topics in Computer Science, Springer, ISBN: 978-0-85729-829-4, 2011

Partial evaluation of the reversible language janus.

Torben Æ. Mogensen

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Partial Evaluation of Janus Part 2: Assertions and Procedures.

Torben Æ. Mogensen

Proceedings of the Perspectives of Systems Informatics, 2011

2009

Troll, a language for specifying dice-rolls.

Torben Æ. Mogensen

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Planet Map Generation by Tetrahedral Subdivision.

Torben Æ. Mogensen

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Semi-inversion of functional parameters.

Torben Æ. Mogensen

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2006

Report on an Implementation of a Semi-inverter.

Torben Æ. Mogensen

Proceedings of the Perspectives of Systems Informatics, 2006

2005

Semi-inversion of Guarded Equations.

Torben Æ. Mogensen

Proceedings of the Generative Programming and Component Engineering, 2005

2003

Roll : A Language for Specifying Die-Rolls.

Torben Æ. Mogensen

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Linear Types for Cashflow Reengineering.

Torben Æ. Mogensen

Proceedings of the Perspectives of Systems Informatics, 2003

2001

An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus.

Torben Æ. Mogensen

Proceedings of the Perspectives of System Informatics, 2001

2000

Glossary for Partial Evaluation and Related Topics.

Torben Æ. Mogensen

High. Order Symb. Comput., 2000

Linear-Time Self-Interpretation of the Pure Lambda Calculus.

Torben Æ. Mogensen

High. Order Symb. Comput., 2000

1999

Tractable Constraints in Finite Semilattices.

Jakob Rehof, Torben Æ. Mogensen

Sci. Comput. Program., 1999

Gödelization in the Untyped lambda-Calculus.

Torben Æ. Mogensen

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

1998

Inherited Limits.

Torben Æ. Mogensen

ACM Comput. Surv., 1998

Partial Evaluation: Concepts and Applications.

Torben Æ. Mogensen

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

1997

Types for 0, 1 or Many Uses.

Torben Æ. Mogensen

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996

A Semantics-Based Determinacy Analysis for Prolog with Cut.

Torben Æ. Mogensen

Proceedings of the Perspectives of System Informatics, 1996

Evolution of Partial Evaluators: Removing Inherited Limits.

Torben Æ. Mogensen

Proceedings of the Partial Evaluation, International Seminar, 1996

1995

Self-applicable Online Partial Evaluation of Pure Lambda Calculus.

Torben Æ. Mogensen

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1994

WORM-2DPDAs: An Extension to 2DPDAs that can be Simulated in Linear Time.

Torben Æ. Mogensen

Inf. Process. Lett., 1994

1993

Constructor Spezialization.

Torben Æ. Mogensen

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

1992

Efficient Self-Interpretations in lambda Calculus.

Torben Æ. Mogensen

J. Funct. Program., 1992

Self-applicable Partial Evaluation for Pure Lambda Calculus.

Torben Æ. Mogensen

Proceedings of the PEPM'92, 1992

Logimix: A Self-Applicable Partial Evaluator for Prolog.

Torben Æ. Mogensen, Anders Bondorf

Proceedings of the Logic Program Synthesis and Transformation, 1992

1990

A Self-Applicable Partial Evaluator for the Lambda Calculus.

Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

A Backwards Analysis for Compile-time Garbage Collection.

Thomas P. Jensen, Torben Æ. Mogensen

Proceedings of the ESOP'90, 1990

1989

Binding Time Analysis for Polymorphically Typed Higher Order Languages.

Torben Æ. Mogensen

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Separating Binding Times in Language Specifications.

Torben Æ. Mogensen

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

Terminology.

Torben Æ. Mogensen, Carsten Kehler Holst

New Gener. Comput., 1988