×

Mogensen, Torben Ægidius

Author ID: mogensen.torben-aegidius Recent zbMATH articles by "Mogensen, Torben Ægidius"
Published as: Mogensen, Torben Ægidius; Mogensen, Torben Æ.; Mogensen, Torben
Documents Indexed: 21 Publications since 1990, including 1 Book
1 Contribution as Editor
Co-Authors: 7 Co-Authors with 6 Joint Publications
125 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 59 times in 52 Documents Cited by Year
Efficient self-interpretation in lambda calculus. Zbl 0817.68051
Mogensen, Torben Æ.
25
1992
RSSA: a reversible SSA form. Zbl 1461.68053
Mogensen, Torben Ægidius
6
2016
An investigation of compact and efficient number representations in the pure lambda calculus. Zbl 1073.68563
Mogensen, Torben Æ.
5
2001
Tractable constraints in finite semilattices. Zbl 0948.68017
Rehof, Jakob; Mogensen, Torben Æ.
5
1999
Implementing reversible object-oriented language features on reversible machines. Zbl 1487.68079
Haulund, Tue; Mogensen, Torben Ægidius; Glück, Robert
4
2017
Data structures and dynamic memory management in reversible languages. Zbl 1515.68090
Cservenka, Martin Holm; Glück, Robert; Haulund, Tue; Mogensen, Torben Ægidius
3
2018
Linear-time self-interpretation of the pure lambda calculus. Zbl 0972.68029
Mogensen, Torben Æ.
3
2000
Hermes: a language for light-weight encryption. Zbl 07368049
Mogensen, Torben Ægidius
2
2020
Introduction to compiler design. 2nd revised edition. Zbl 1401.68003
Mogensen, Torben Ægidius
1
2017
Reversible functional array programming. Zbl 07419482
Mogensen, Torben Ægidius
1
2021
Garbage collection for reversible functional languages. Zbl 1464.68047
Mogensen, Torben Ægidius
1
2015
A backwards analysis for compile-time garbage collection. Zbl 0765.68106
Jensen, Thomas P.; Mogensen, Torben Æ.
1
1990
Garbage-free reversible multiplication and division. Zbl 1515.68134
Mogensen, Torben Ægidius
1
2018
Garbage-free reversible constant multipliers for arbitrary integers. Zbl 1406.68028
Mogensen, Torben Ægidius
1
2013
Reversible functional array programming. Zbl 07419482
Mogensen, Torben Ægidius
1
2021
Hermes: a language for light-weight encryption. Zbl 07368049
Mogensen, Torben Ægidius
2
2020
Data structures and dynamic memory management in reversible languages. Zbl 1515.68090
Cservenka, Martin Holm; Glück, Robert; Haulund, Tue; Mogensen, Torben Ægidius
3
2018
Garbage-free reversible multiplication and division. Zbl 1515.68134
Mogensen, Torben Ægidius
1
2018
Implementing reversible object-oriented language features on reversible machines. Zbl 1487.68079
Haulund, Tue; Mogensen, Torben Ægidius; Glück, Robert
4
2017
Introduction to compiler design. 2nd revised edition. Zbl 1401.68003
Mogensen, Torben Ægidius
1
2017
RSSA: a reversible SSA form. Zbl 1461.68053
Mogensen, Torben Ægidius
6
2016
Garbage collection for reversible functional languages. Zbl 1464.68047
Mogensen, Torben Ægidius
1
2015
Garbage-free reversible constant multipliers for arbitrary integers. Zbl 1406.68028
Mogensen, Torben Ægidius
1
2013
An investigation of compact and efficient number representations in the pure lambda calculus. Zbl 1073.68563
Mogensen, Torben Æ.
5
2001
Linear-time self-interpretation of the pure lambda calculus. Zbl 0972.68029
Mogensen, Torben Æ.
3
2000
Tractable constraints in finite semilattices. Zbl 0948.68017
Rehof, Jakob; Mogensen, Torben Æ.
5
1999
Efficient self-interpretation in lambda calculus. Zbl 0817.68051
Mogensen, Torben Æ.
25
1992
A backwards analysis for compile-time garbage collection. Zbl 0765.68106
Jensen, Thomas P.; Mogensen, Torben Æ.
1
1990

Citations by Year