Lucid - A Formal System for Writing and Proving Programs.

Edward A. Ashcroft William W. Wadge

Published in: SIAM J. Comput. (1976)

Keyphrases

formal model
concurrent programming
database
formal specification
formal methods
automatic programming
programs written
neural network
programming language
formal analysis
formal models
control structures
data entry