Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints.

Christoph Beierle Egon Börger

Published in: Formal Aspects Comput. (1996)

Keyphrases

provably correct
high level
constraint language
low level
constraint satisfaction
state machines
constraint programming
case study
neural network
higher level
databases
integrity constraints
objective function
theorem proving
formal specification
linear constraints
database systems