6794 search results - page 840 / 1359 » Semantics of Visual Languages |
286
click to vote
APLAS
2005
ACM
16 years 18 days ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
190
click to vote
APLAS
2004
ACM
16 years 14 days ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
219
click to vote
ESOP
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
181
click to vote
HSNMC
2004
Springer
16 years 13 days ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...
212
click to vote
INTELLCOMM
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. In this paper we propose the usage of W3C-standardized query language, XQuery, to accommodate XML Update. Our main aim is to enable the update without violating the seman...