controlflow

  1. 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

  2. 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 operating system 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