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 Semantics for Blockchain Smart Contracts

Design and formalization of programming language semantics specifically tailored for secure smart contract development and verification.