809 search results - page 56 / 162 » Formal Semantics for the Java Modeling Language |
105
Voted
FUIN
2006
15 years 2 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
99
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
112
click to vote
UML
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
153
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
123
click to vote
TMRA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...