Nonstandard runs of Floyd-provable programs.

István Németi

Published in: Logic of Programs (1980)

Keyphrases

machine learning
high quality
intermediate level
real time
knowledge base
expert systems
greedy algorithm
automatic programming