Designing a verifying compiler: Lessons learned from developing Whiley (Q56340677)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Designing a verifying compiler: Lessons learned from developing Whiley |
No description defined |
Statements
Designing a verifying compiler: Lessons learned from developing Whiley (English)
0 references
December 2015
0 references
113
0 references
191-220
0 references