Constructing programs in a calculus of lazy interpreters.

Richard A. Frost

Published in: Formal Methods in Software Development (1990)

Keyphrases

provably correct
computer programs
representation language
lazy learning
description language
programming environment
intermediate level
computer algebra
programs written
database
neural network
automated deduction