Sciweavers

9455 search results - page 184 / 1891
» The Modelling Language Zinc
Sort
View
UML
2005
Springer
15 years 7 months ago
Practical Declarative Model Transformation with Tefkat
We present Tefkat, an implementation of a language designed specically for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, w...
Michael Lawley, Jim Steel
TOOLS
1999
IEEE
15 years 6 months ago
On Creation, Equality and the Object Model
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
Michael Kölling, John Rosenberg
ACL
2012
13 years 4 months ago
Decoding Running Key Ciphers
There has been recent interest in the problem of decoding letter substitution ciphers using techniques inspired by natural language processing. We consider a different type of cla...
Sravana Reddy, Kevin Knight
POPL
2009
ACM
16 years 2 months ago
A model of cooperative threads
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...
Gordon D. Plotkin, Martín Abadi
MODELS
2009
Springer
15 years 8 months ago
Incremental Model Synchronization for Efficient Run-Time Monitoring
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...