Factored Specifications In The Synthesis Of LISP Functions.

Ted J. Biggerstaff

Published in: ACM Annual Conference (1) (1978)

Keyphrases

learning theory
programming language
information retrieval
high level
specification language
program synthesis
functional programs
database
data mining
natural language
hidden markov models
computer programs
multi valued
reactive systems
delay insensitive