Angelic Termination in Dijkstra's Calculus.

Wim H. Hesselink

Published in: MPC (1995)

Keyphrases

term rewriting
type checking
rewrite systems
operational semantics
real time
data structure
integrity constraints
active rules
computer algebra
database
computer vision
website
image sequences
provably correct