Formal development of correct algorithms: An example based on earley's recogniser.

Published in: Proving Assertions About Programs (1972)

Keyphrases

orders of magnitude
times faster
computationally efficient
benchmark datasets
combinatorial optimization
graph theory
database
data sets
learning algorithm
search engine
case study
evolutionary algorithm
knowledge based systems
computationally expensive
technical advances