Compiler Design Programming Languages

Research Frontiers in Contract-Based Language Design and Runtime Enforcement

Development of language constructs for expressing contracts and compiler-based mechanisms for enforcing design-by-contract principles.

All Compiler Design & Programming Languages PhD categories