A Hoare-like logic of asserted single-pass instruction sequences.

Jan A. Bergstra Cornelis A. Middelburg

Published in: CoRR (2014)

Keyphrases

single pass
hidden markov models
stream mining
logic programming
modal logic
automated reasoning
multimedia
sequential patterns
multi valued
classical logic
predicate logic
e learning
computer technology
asynchronous circuits
proof theory