NTHRYS › PhD Assistance › Compiler Design Programming Languages

Compiler Design Programming Languages

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Language Design for Formal Verification

Development of programming languages and compilation strategies that facilitate automated formal verification and theorem proving.