Proving that programs eventually do something good.

Byron Cook Alexey Gotsman Andreas Podelski Andrey Rybalchenko Moshe Y. Vardi

Published in: POPL (2007)

Keyphrases

artificial intelligence
information systems
real time
search engine
web services
search algorithm
digital libraries
computer programs
programming environment