Return to Microsoft Research Lab – Redmond
Research in Software Engineering (RiSE)
工具
加载中…
Code Contracts for .NET
Source code for the CodeContracts tools for .NET Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs.
CCI (Common Compiler Infrastructure)
CCI provides a rich infrastructure for working with .NET Assemblies: generating them from source, or rewriting them.
Automata
Automata is a .NET library that provides algorithms for composing and analyzing regular expressions, automata, and transducers. In addition to classical word automata, it also includes algorithms for analysis of tree automata and tree transducers. The library covers algorithms over…