6016 search results - page 894 / 1204 » The semantics of graphical languages |
203
click to vote
ESOP
2004
Springer
16 years 24 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 ...
187
click to vote
GG
2004
Springer
16 years 24 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...
194
click to vote
UML
2004
Springer
16 years 23 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...
207
click to vote
MEMOCODE
2003
IEEE
16 years 21 days 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...
199
click to vote
DOCENG
2003
ACM
16 years 20 days ago
2003
ACM
We introduce a lazy XSLT interpreter that provides random access to the transformation result. This allows efficient pipelining of transformation sequences. Nodes of the result tr...