411 search results - page 1 / 83 » Algebraic Imperative Specifications |
ERSHOV
1999
Springer
15 years 1 months ago
1999
Springer
77
Voted
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
118
Voted
ESOP
1992
Springer
15 years 1 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
164
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...