What Percentage of Programs Halt?

Laurent Bienvenu Damien Desfontaines Alexander Shen

Published in: ICALP (1) (2015)

Keyphrases

computer programs
automatic programming
real time
provably correct
data mining
decision trees
case study
high level
database systems
digital libraries
expert systems
special case
open source
control structures
free software