Skip to contents

Mogensen, Torben Æ. [Editor]; Jones, Neil D. [Honoree]

The essence of computation : complexity, analysis, transformation ; essays dedicated to Neil D. Jones

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2566
Hatcliff, John [Editor]; Mogensen, Torben Æ. [Other]; Thiemann, Peter [Other] ; Københavns Universitet Datalogisk Institut, International Summer School on Partial Evaluation 1998 Kopenhagen

Partial evaluation : practice and theory ; DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Københavns Universitet: DIKU ... international summer school ; 1998 - Lecture notes in computer science ; 1706
Hatcliff, John [Author] ; Mogensen, Torben [Other]; Thiemann, Peter [Other]

Partial Evaluation. Practice and Theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1999

Published in: Lecture notes in computer science ; 1706
Ægidius Mogensen, Torben [Author]

Programming Language Design and Implementation - [1st ed. 2022.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

Published in: Texts in Computer Science
Mogensen, Torben Æ [Author] ; Schmidt, David A. [Other]; Sudborough, I. Hal [Other]

The Essence of Computation : Complexity, Analysis, Transformation

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2566
Mogensen, Torben Ægidius [Editor]; Mikulski, Łukasz [Editor]

Reversible Computation : 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings - [1st ed. 2024.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature Switzerland, 2024. ; Cham: Imprint: Springer, 2024.

Published in: Lecture Notes in Computer Science ; 14680
Mogensen, Torben

Practical Aspects of Declarative Languages: Roll: A Language for Specifying Die-Rolls

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

Published in: Practical Aspects of Declarative Languages (2003), Seite 145-159
Mogensen, Torben

Inherited limits

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1998

Published in: ACM Computing Surveys, 30 (1998) 3es, Seite 5
Mogensen, Torben Ægidius

Reversible Computation: Fast Control for Reversible Processors

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2022

Published in: Reversible Computation (2022), Seite 51-64
Mogensen, Torben Ægidius

Reversible Computation: Reversible Functional Array Programming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2021

Published in: Reversible Computation (2021), Seite 45-63
Mogensen, Torben Ægidius

Reversible Computation: Hermes: A Language for Light-Weight Encryption

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2020

Published in: Reversible Computation (2020), Seite 93-110
Mogensen, Torben Ægidius

Lecture Notes in Computer Science: Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2019

Published in: Lecture Notes in Computer Science (2019), Seite 243-251
Mogensen, Torben Ægidius

Reversible Computation: Garbage-Free Reversible Multiplication and Division

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2018

Published in: Reversible Computation (2018), Seite 253-268
Mogensen, Torben Ægidius

Reversible Computation: Reversible In-Place Carry-Lookahead Addition with Few Ancillae

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2019

Published in: Reversible Computation (2019), Seite 224-237
Mogensen, Torben Ægidius

Reversible Garbage Collection for Reversible Functional Languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2018

Published in: New Generation Computing, 36 (2018) 3, Seite 203-232
Mogensen, Torben Ægidius

Lecture Notes in Computer Science: RSSA: A Reversible SSA Form

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2016

Published in: Lecture Notes in Computer Science (2016), Seite 203-217
Mogensen, Torben Ægidius

Lecture Notes in Computer Science: Supercompilation for Datatypes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2015

Published in: Lecture Notes in Computer Science (2015), Seite 232-247
Mogensen, Torben Ægidius

Reversible Computation: Garbage Collection for Reversible Functional Languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2015

Published in: Reversible Computation (2015), Seite 79-94
Mogensen, Torben Ægidius

Garbage-Free Reversible Multipliers for Arbitrary Constants

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2014

Published in: ACM Journal on Emerging Technologies in Computing Systems, 11 (2014) 2, Seite 1-18
Mogensen, Torben Ægidius

Reversible Computation: Reference Counting for Reversible Languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2014

Published in: Reversible Computation (2014), Seite 82-94

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication