Detecting Specification Errors in Declarative Languages with Constraints.

Ethan K. Jackson Wolfram Schulte Nikolaj Bjørner

Published in: MoDELS (2012)

Keyphrases

constraint language
high level
declarative language
expressive power
databases
domain independent
formal languages
specification languages
neural network
relational databases
constraint satisfaction
language independent
operational semantics
attribute grammars