Milicevic, Aleksandar, S.M. Massachusetts Institute of Technology
(Massachusetts Institute of Technology, 2010)
In this thesis, we present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, written in first-order relational ...