Reversible Programming Languages

The DC will advance object-oriented and functional reversible languages with a view on increasing their expressiveness and applicability to the development and construction of non-trivial reversible algorithms. It will build on the work by project members. Algorithms of interest may be suggested by WP 2 and WP 4. The DC will also study the integration of reversible features into mainstream irreversible languages (supporting DC 6) to enable a seamless practical application including required type systems. Time-symmetric variants for computable involutions and domain-specific features will be explored to identify novel language idioms specific to reversible programming and future applications.

1) Formalisation and prototype of a reversible object-oriented language; 2) Language technology for and case study of a hybrid mainstream-based language; 3) Study of time-symmetric and domain-specific reversible language idioms.