DBCL: Data-Flow Computing Base Language with n-Value Logic.
Jayantha A. HerathNobuo SaitoKenji TodaYoshinori YamaguchiToshitsugu YubaPublished in: FJCC (1986)
Keyphrases
- data flow
- digital circuits
- database machine
- control flow
- formal theory
- dynamic logic
- digital signal processing
- object oriented software
- proof theory
- intuitionistic logic
- programming language
- data transfer
- operational semantics
- systolic array
- highly expressive
- classical logic
- formal language
- predicate calculus
- agent programming
- order sorted
- modal logic
- test cases
- logic programming