6016 search results - page 124 / 1204 » The semantics of graphical languages |
143
click to vote
AC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
121
click to vote
JNCA
2007
15 years 4 months ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
147
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C’s stringbased macros empower programmers to introduce no...
163
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
150
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...