Research

F# Compiler

F# is a variant of the ML programming language for .NET and has a core language similar to OCaml. F# is a mixed functional/imperative/object-oriented programming language excellent for medium/advanced programmers and for teaching. It also can be used to access…

Detours

Detours is a library for intercepting arbitrary Win32 binary functions on x86 machines. For more details, see http://research.microsoft.com/sn/detours. Download Details File Name: DetoursExpress.msi Version: 2.1 Express 216 Date Published: 10 November 2008 Download Size: 0.53 MB Note: By installing, copying, or…

Spec for Visual Studio 2008

Spec# is an experimental language that extends C# (version 2) with several design-by-contract features. The new features of Spec# include a non-null type system, method pre- and post-conditions, loop invariants, and object invariants. The Spec# Programming System provides design-time checking,…

Microsoft Giano

Giano is a simulation framework for the full-system simulation of arbitrary computer systems, with special emphasis on the hardware-software co-development of system software and Real-Time embedded applications. Giano includes both software models for CPU, I/O, busses and memories, and HDL…

Bitnami