- 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
- ^ Rob Knies. "Terminator Tackles an Impossible Task". http://research.microsoft.com/en-us/news/features/terminator.aspx. Retrieved 2010-05-25.
External links
Microsoft Research (MSR) Main projects Languages and compilersBigtop · Gridline · BitVaultAvalanche · Wallop · Conference XP · HoneyMonkey · AjaxView · GazelleOther projectsMyLifeBits · LiveStation · Terminator · WorldWide TelescopeSingularity · BarrelfishJoins · Accelerator · Dryad · SXMLaunched as productsC# · Comic Chat · F# · Sideshow · Surface (TouchLight) · SenseCam · ClearType · Group Shot · Allegiance · SongsmithApplied research
from MSR LabsCurrentDiscontinuedOther Microsoft Research Labs: adCenter Labs · Office LabsCategories:- Microsoft Research
- Windows software stubs
Wikimedia Foundation. 2010.