From Algorithms to Working Programs: On the Use of Program Checking in LEDA.

Kurt Mehlhorn Stefan Näher

Published in: MFCS (1998)

Keyphrases

orders of magnitude
data mining algorithms
data structure
computational cost
theoretical analysis
computationally expensive
computer vision
computational complexity
recently developed
computer programs
database
times faster
automatic programming
symbolic execution
programming education