controlflow

About this tag
The controlflow tag on WindowsForum.com covers discussions about control flow analysis and safety in programming languages and compilers. Topics include the Roslyn project's APIs for analyzing control flow in C# and VB source code, as well as Typed Assembly Language (TAL) which enforces control flow safety through typing rules. These threads explore how control flow is examined and guaranteed in both high-level and low-level code, relevant for developers working on code analysis tools, compiler optimizations, or type-safe systems.

  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 type 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