NTHRYS › PhD Assistance › Compiler Design Programming Languages

Compiler Design Programming Languages

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Semantics-Preserving Program Transformation and Refactoring

Formal methods for automatically transforming and refactoring source code while guaranteeing semantic equivalence and preserving program behavior.