Software and reversible systems: A survey of recent activities
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Dokumenter
- Fulltext
Forlagets udgivne version, 640 KB, PDF-dokument
Software plays a central role in all aspects of reversible computing. We survey the breadth of topics and recent activities on reversible software and systems including behavioural types, recovery, debugging, concurrency, and object-oriented programming. These have the potential to provide linguistic abstractions and tools that will lead to safer and more reliable reversible computing applications
Originalsprog | Engelsk |
---|---|
Titel | Reversible Computation : Extending Horizons of Computing - Selected Results of the COST Action IC1405 |
Redaktører | Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira |
Antal sider | 19 |
Forlag | Springer VS |
Publikationsdato | 2020 |
Sider | 41-59 |
ISBN (Trykt) | 9783030473600 |
DOI | |
Status | Udgivet - 2020 |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 12070 LNCS |
ISSN | 0302-9743 |
Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk
Ingen data tilgængelig
ID: 249395799