On Equality Predicates in Algebraic Specification Languages.

Masaki Nakamura Kokichi Futatsugi

Published in: ICTAC (2007)

Keyphrases

specification languages
first order logic
function symbols
formal specification
object oriented programs
horn clauses
model checking
expressive power
fixpoint
user defined
fine grained
knowledge representation
algebraic structure
logical formulas
data model
predicate invention
cooperative