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