Overview
This work package develops robust reversible programming abstractions and supporting tools. It addresses language expressiveness, modularity, typing disciplines, and formal semantics needed to transition from academic prototypes to production-ready workflows.
WP1 investigates structured reversible control flow, error handling, compositional design, and interoperability with existing software ecosystems, with a strong emphasis on usability for researchers and developers.
It also contributes language-level verification and debugging approaches that improve reliability and maintainability in reversible software projects.