Simultaneous checking of completeness and ground confluence for algebraic specifications.

Published in: ACM Trans. Comput. Log. (2009)

Keyphrases

specification language
delay insensitive
control flow
image processing
data sets
attribute grammars
algebraic structure
definite clause
rewrite systems
algebraic geometry
concurrent systems
reactive systems
mathematical theory
consistency checking
data quality
data model
multiscale