108
click to vote
SIGSOFT
2008
ACM
16 years 3 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...