On algebras of computation sequences and proofs of equivalence of operational and denotational semantics.

Published in: Theoretical Computer Science (1983)

Keyphrases

denotational semantics
programming language
hidden markov models
operational semantics
object oriented
first order logic
incomplete information
theorem proving
data mining
artificial intelligence
database systems
data analysis
query language
xml data
theorem prover