Reversible Programming Languages
Supervisor: Robert Glück
University of Copenhagen, Denmark
Objectives
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.
Expected Results
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.
Planned Secondments
M19, TOK, S. Yuen, object-oriented feature sets; M24, CNRS, C. Di Giusto, type systems; M32, VAIRE, H. Earley, language validation.