The Full Wiki

More info on Microsoft Terminator

Microsoft Terminator: Wikis

Advertisements

Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.

Encyclopedia

From Wikipedia, the free encyclopedia

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

External links


Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message