Optimizing Programs with Partial Specifications.

Mark T. Vandevoorde

Published in: Larch (1992)

Keyphrases

control flow
recursive programs
program synthesis
genetic algorithm
search engine
computer vision
machine learning
finite state machines
control structures
written in natural language
delay insensitive
concurrent systems
fixpoint
formal specification
source code
multiscale
website
metadata