Microsoft Terminator

Microsoft Terminator

Terminator, a research project at Microsoft Research is an automated program analyzer that aims to prove whether a program will run infinitely. It supports nested loops and recursive functions, pointers and side-effects, and function-pointers as well as concurrent programs. The project does not aim to solve the halting problem; merely to "work 99.9 percent of the time on programs written by humans".[1]

References

  1. ^ Rob Knies. "Terminator Tackles an Impossible Task". http://research.microsoft.com/en-us/news/features/terminator.aspx. Retrieved 2010-05-25. 

External links

v · d · eMicrosoft Research (MSR)
Main projects
Languages and compilers
Bigtop · Gridline · BitVault
Avalanche · Wallop · Conference XP · HoneyMonkey · AjaxView · Gazelle
Other projects
Singularity · Barrelfish
Joins · Accelerator · Dryad  · SXM
Launched as products
Applied research
from MSR Labs
Current
Photosynth · Pivot · Seadragon (Deep Zoom · DeepZoomPix)
Discontinued
Bing Twitter · Docs.com · Kodu · Project Emporia · Spindex
Other Microsoft Research Labs: adCenter Labs · Office Labs



Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Terminator — may refer to:In science: * Terminator (solar), the line between the day and night sides of a planetary body * Terminator (electrical), a resistor at the end of a transmission line to prevent signal reflection * Terminator (genetics), the end of a …   Wikipedia

  • Terminator Salvation (videojuego) — Desarrolladora(s) GRIN Raw Thrills (Arcade) Distribuidora(s) EE.UU./Canadá: Warner Bros. Interactive Entertainment Internacional: Sony Computer Entertainment (Sólo PS3 versión) Raw Thrills (Arcade) …   Wikipedia Español

  • Microsoft Security Essentials — Microsoft Security Essentials …   Википедия

  • Microsoft Research — Website research.microsoft.com Microsoft Research (MSR) is the research division of Microsoft created in 1991 for developing various computer science ideas and integrating them into Microsoft products. It currently employs Turing Award winners… …   Wikipedia

  • Microsoft Live Labs — home page. Microsoft Live Labs was a partnership between MSN and Microsoft Research that focused on applied research for Internet products and services at Microsoft. Live Labs was headed by Dr. Gary William Flake, who prior to joining Microsoft… …   Wikipedia

  • Microsoft Comic Chat — Microsoft Chat version 2.5 Original author(s) Microsoft Developer(s) David Kurlander, Microsoft Research Virtual Worlds Group …   Wikipedia

  • Microsoft Songsmith — Microsoft Research Songsmith Microsoft Research Songsmith Original author(s) …   Wikipedia

  • Microsoft adCenter Labs — (a.k.a adlabs), is an applied research group at Microsoft that supports Microsoft adCenter. Microsoft adCenter (formerly MSN adCenter), is the division of the Microsoft Network (MSN) responsible for MSN s advertising services. Contents 1… …   Wikipedia

  • Microsoft Live Labs Pivot — Microsoft Pivot Developer(s) Microsoft Type Large Scale Data Interaction Website …   Wikipedia

  • Microsoft Live Labs Deepfish — Developer(s) Microsoft Discontinued Beta / September 30, 2008; 3 years ago …   Wikipedia

Share the article and excerpts

Direct link
https://en-academic.com/dic.nsf/enwiki/8182684 Do a right-click on the link above
and select “Copy Link”