809 search results - page 56 / 162 » Formal Semantics for the Java Modeling Language |
120
click to vote
FUIN
2006
15 years 4 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...
118
Voted
ECOOP
2007
Springer
15 years 10 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...
131
click to vote
UML
1999
Springer
15 years 8 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 ...
170
click to vote
POPL
2012
ACM
13 years 11 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...
136
click to vote
TMRA
2005
Springer
15 years 9 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...