Partial Composition and Recursion of Module Specifications.

Francesco Parisi-Presicce

Published in: TAPSOFT, Vol.1 (1987)

Keyphrases

formal specification
partial information
deductive databases
data sets
real time
information retrieval
case study
relational databases
datalog programs
formal verification
operational semantics
delay insensitive
music composition
recursive programs