Abstract | ||
---|---|---|
This paper studies the design of specification languages through their model theory. We show how language constructs and specification idioms are deeply rooted in the underlying model theory. We also show that some problems are fundamentally difficult to specify due to the underlying foundation of the language. The languages we study are Alloy, Maude, and FORMULA. FORMULA attempts to handle a large class of specifications problems while utilizing constraint solvers for formal analysis. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-34059-8_21 | Monterey Workshop |
Keywords | Field | DocType |
language construct,large class,model theory,specification idiom,paper study,specification language,underlying foundation,specifications problem,formal analysis,underlying model theory | Specification language,Programming language,Computer science,Language construct,Relational algebra,Model theory,Boolean expression,Equational theory | Conference |
Citations | PageRank | References |
0 | 0.34 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ethan K. Jackson | 1 | 204 | 15.30 |
Wolfram Schulte | 2 | 2342 | 153.40 |