Navigation section
static verification
-
Windows 7 Chris Hawblitzel and Juan Chen: Introduction to Typed Assembly Language (TAL)
Typed Assembly Language (TAL) extends traditional untyped assembly languages with typing annotations, memory management primitives, and a sound set of typing rules. These typing rules guarantee the memory safety, control flow safety, and type safety of TAL programs. Moreover, the typing...- News
- Thread
- compiler optimizations computer science control flow data types hoare logic low-level code memory management mobile code polymorphic functions research safety static verification structured programming tal type safety type verification typed assembly language verifiably safe code
- Replies: 0
- Forum: Live RSS Feeds
-
Windows 7 Verve: A Type Safe Operating System
Link Removed(an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, Link Removed that takes a new approach to building an OS stack with verifiable and type safe...- News
- Thread
- architecture design error verification garbage collection hoare logic kernel microsoft nucleus os design programming research research scientist safety static verification system software theorem prover type safety typed assembly language verve
- Replies: 0
- Forum: Live RSS Feeds