6794 search results - page 1025 / 1359 » Semantics of Visual Languages |
189
click to vote
ECOOP
2004
Springer
16 years 3 days ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
176
click to vote
ESOP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
167
click to vote
GG
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
170
click to vote
UML
2004
Springer
16 years 2 days ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
190
click to vote
MEMOCODE
2003
IEEE
16 years 3 hour ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...