Specifications Can Make Programs Run Faster.

Mark T. Vandevoorde

Published in: TAPSOFT (1993)

Keyphrases

control flow
recursive programs
logic programs
data flow
finite state machines
neural network
machine learning
artificial intelligence
high level
expert systems
computer programs
memory efficient
formal verification
intermediate level