Navigation section
controlflow
-
Windows 7 Going Deeper with Project Roslyn: Exposing the C# and VB compiler’s code analysis
Until now, the VB and C# compilers have been used as black boxes. You put text in, and you get out a binary file. In our long-lead project, codename "Roslyn," we are changing that dynamic by building an API that exposes our compilers' analysis engines. In this session, we'll go in-depth in...- News
- Thread
- api code analysis code generation codetools compiler controlflow dataflow extensions language service parsing programing roslyn scripting semantic models software development technology visual studio
- Replies: 0
- Forum: Live RSS Feeds
-
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 controlflow 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