What is a secure programming language?

Debugging

See also: Section 6.3 (Compiler Bug Debugging) in "A Survey of Compiler Testing"

History

Lectures


Testing

See also: Testing

Readings

Performance Optimization

Software

Talks


Validation

Validation: Including translation validation, equivalence checking.


Verification


Tags: language   reading   native   clr   llvm   langdev  

Last modified 17 December 2022