Torben Ægidius Mogensen

zbMath Openmogensen.torben-aegidiusMaRDI QIDQ1702405

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A semantics-based determinacy analysis for Prolog with cut	2024-07-11	Paper
Fast control for reversible processors	2022-11-11	Paper
Tractable constraints in finite semilattices Static Analysis	2022-02-16	Paper
Reversible Functional Array Programming Reversible Computation	2021-11-03	Paper
Hermes: a language for light-weight encryption	2021-07-05	Paper
A comparison of well-quasi orders on trees	2021-06-21	Paper
Reversible In-Place Carry-Lookahead Addition with Few Ancillae Reversible Computation	2019-10-17	Paper
Garbage-free reversible multiplication and division	2018-10-17	Paper
Data structures and dynamic memory management in reversible languages	2018-10-17	Paper
Implementing reversible object-oriented language features on reversible machines	2018-03-16	Paper
Introduction to compiler design Undergraduate Topics in Computer Science	2018-02-28	Paper
RSSA: A Reversible SSA Form Lecture Notes in Computer Science	2016-12-21	Paper
Garbage Collection for Reversible Functional Languages Reversible Computation	2016-09-30	Paper
Supercompilation for datatypes Lecture Notes in Computer Science	2015-12-03	Paper
Garbage-free reversible constant multipliers for arbitrary integers Reversible Computation	2013-12-17	Paper
scientific article; zbMATH DE number 2084341 (Why is no real title available?)	2004-08-06	Paper
scientific article; zbMATH DE number 1954108 (Why is no real title available?)	2003-07-28	Paper
Linear-time self-interpretation of the pure lambda calculus Higher-Order and Symbolic Computation	2001-03-12	Paper
scientific article; zbMATH DE number 1522992 (Why is no real title available?)	2000-10-30	Paper
Tractable constraints in finite semilattices Science of Computer Programming	2000-01-04	Paper
Efficient self-interpretation in lambda calculus Journal of Functional Programming	1995-08-06	Paper
scientific article; zbMATH DE number 177786 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Torben Ægidius Mogensen