Zum Inhalt springen

Ægidius Mogensen, Torben [Verfasser:in]

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Texts in Computer Science
Mogensen, Torben Ægidius [Herausgeber:in]; Mikulski, Łukasz [Herausgeber:in]

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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture Notes in Computer Science ; 14680
Mogensen, Torben Ægidius

Reversible Computation: Fast Control for Reversible Processors

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2022

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

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2020

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

Reversible Computation: Reversible Functional Array Programming

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2021

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

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2019

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

Reversible Computation: Garbage-Free Reversible Multiplication and Division

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2018

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

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2019

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

Reversible Garbage Collection for Reversible Functional Languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2018

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

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2016

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

Lecture Notes in Computer Science: Supercompilation for Datatypes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2015

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

Reversible Computation: Garbage Collection for Reversible Functional Languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2015

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

Garbage-Free Reversible Multipliers for Arbitrary Constants

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2014

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

Perspectives of Systems Informatics: Partial Evaluation of Janus Part 2: Assertions and Procedures

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen in: Perspectives of Systems Informatics (2012), Seite 289-301
Mogensen, Torben Ægidius

Reversible Computation: Garbage-Free Reversible Constant Multipliers for Arbitrary Integers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Reversible Computation (2013), Seite 70-83
Mogensen, Torben Ægidius

Reversible Computation: Reference Counting for Reversible Languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2014

Erschienen in: Reversible Computation (2014), Seite 82-94
Mogensen, Torben Ægidius

Perspectives of Systems Informatics: Planet Map Generation by Tetrahedral Subdivision

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Perspectives of Systems Informatics (2010), Seite 306-318
Haulund, Tue; Mogensen, Torben Ægidius; Glück, Robert

Reversible Computation: Implementing Reversible Object-Oriented Language Features on Reversible Machines

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2017

Erschienen in: Reversible Computation (2017), Seite 66-73
Cservenka, Martin Holm; Glück, Robert; Haulund, Tue; Mogensen, Torben Ægidius

Reversible Computation: Data Structures and Dynamic Memory Management in Reversible Languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2018

Erschienen in: Reversible Computation (2018), Seite 269-285
De Vos, Alexis; Burignat, Stéphane; Glück, Robert; Mogensen, Torben Ægidius; Axelsen, Holger Bock; Thomsen, Michael Kirkedal; Rotenberg, Eva; Yokoyama, Tetsuo

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2014

Erschienen in: ACM Journal on Emerging Technologies in Computing Systems, 11 (2014) 2, Seite 1-15

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr