9455 search results - page 206 / 1891 » The Modelling Language Zinc |
152
click to vote
ENTCS
2006
15 years 4 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
118
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative...
136
click to vote
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
120
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
110
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Modeling languages like UML or EMF support textual constraints written in OCL. OCL allows the developer to use various collec