Erratum: Lucid - A Formal System for Writing and Proving Programs.

Edward A. Ashcroft William W. Wadge

Published in: SIAM J. Comput. (1977)

Keyphrases

concurrent programming
formal model
answer sets
databases
neural network
real world
search algorithm
data model
programming environment
fixpoint
intermediate level