Login / Signup
Programming by Expression Refinement: a Sequence of Examples.
Joseph M. Morris
Published in:
Struct. Program. (1990)
Keyphrases
</>
programming language
programming skills
databases
learning algorithm
refinement process