Generation of Proof Obligations for Type Consistency.

Flemming M. Damm Bo Stig Hansen

Published in: Semantics of Specification Languages (1993)

Keyphrases

set intersection
real time
data sets
databases
data mining
social networks
image sequences
artificial neural networks
deontic logic