1458 search results - page 150 / 292 » System Model-Based Definition of Modeling Language Semantics |
102
click to vote
VL
2000
IEEE
15 years 2 months ago
2000
IEEE
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
CL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
DALT
2009
Springer
15 years 1 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
118
click to vote
TLCA
1995
Springer
15 years 1 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
ECOOP
1999
Springer
15 years 2 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...