490 search results - page 26 / 98 » A structured operational semantics for UML-statecharts |
105
click to vote
WDAG
2004
Springer
15 years 5 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
110
click to vote
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
ENTCS
2006
14 years 11 months ago
2006
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
DEXAW
1997
IEEE
15 years 4 months ago
1997
IEEE
It is important for any data language that it enables many people to derive correct information from a databases in a simple, effective way with predictable performance. In an ana...
102
click to vote
APLAS
2010
ACM
14 years 12 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...