84 search results - page 2 / 17 » An Imperative Extension to Alloy |
SAIG
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
ISSRE
2010
IEEE
13 years 9 months ago
2010
IEEE
—Feature-oriented software development (FOSD) aims at the construction, customization, and synthesis of large-scale software systems. We propose a novel software design paradigm,...
STTT
2010
13 years 9 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
ESOP
2006
Springer
14 years 2 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
MEMOCODE
2010
IEEE
13 years 8 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...