NTHRYS › PhD Assistance › Compiler Design Programming Languages

Compiler Design Programming Languages

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Bidirectional Programming Language Semantics

Research into languages and compilers that support reverse computation and bidirectional data transformations with formal correctness guarantees.