Dataflow, Flowcharts, and "LUCID"-style Programming in Logic.
Derek R. BroughMaarten H. van EmdenPublished in: SLP (1984)
Keyphrases
- programming language
- data flow
- logic programming
- high level language
- modal logic
- programming environment
- design methodology
- parallel computing
- development environment
- classical logic
- predicate logic
- neural network
- computer programs
- object oriented programming
- automated reasoning
- multi valued
- programming course
- computational properties
- concurrent programming