Microsoft Terminator

Terminator, a research project at Microsoft Research, is an automated program analyzer that aims to find whether a program can run infinitely (so called termination analysis). It supports nested loops and recursive functions, pointers and side-effects, and function-pointers as well as concurrent programs. Like all programs for termination analysis it tries to solve the halting problem for particular cases, since the general problem is undecidable.^[1] It provides a solution which is sound, meaning that when it states that a program does always terminate, the result is dependable.

References

↑ Rob Knies. "Terminator Tackles an Impossible Task". Retrieved 2010-05-25.

External links

Terminator Research project

Microsoft Research (MSR)

Main projects

Languages and compilers	Polyphonic C# Cω Spec# Sing# Bartok Phoenix TouchDevelop

Distributed/ grid computing	Bigtop Gridline BitVault

Internet and networking	Avalanche Wallop Conference XP HoneyMonkey AjaxView Gazelle

Other projects	IllumiRoom MyLifeBits LiveStation Terminator WorldWide Telescope PhotoDNA

Operating systems	Singularity Barrelfish Midori Verve

APIs	Joins Accelerator Dryad SXM

Xbox and Related	Xbox Kinect

Launched as products	C# Comic Chat F# Sideshow PixelSense (TouchLight) SenseCam ClearType Group Shot Allegiance Songsmith

Applied research
from MSR Labs

Live Labs

Current	Photosynth Pivot Seadragon Deep Zoom DeepZoomPix

Discontinued	Deepfish Listas Volta Live Clipboard

FUSE Labs

Other Microsoft Research Labs

This article is issued from Wikipedia - version of the Tuesday, May 27, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.