Sciweavers

6794 search results - page 161 / 1359
» Semantics of Visual Languages
Sort
View
VL
1994
IEEE
159views Visual Languages» more  VL 1994»
15 years 6 months ago
Concepts and Architecture of Vista - a Multiparadigm Programming Environment
This paper describes Vista, a visual multiparadigm programming environment. We introduce the notion of processors and networks and discuss their application in the construction of...
Stefan Schiffer, Joachim Hans Fröhlich
119
Voted
PLDI
2011
ACM
14 years 5 months ago
Languages as libraries
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...
Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpep...
145
Voted
IFIP
2010
Springer
14 years 9 months ago
A Calculus for the Analysis of Wireless Network Security Protocols
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 ...
Francesco Ballardin, Massimo Merro
ENTCS
2008
89views more  ENTCS 2008»
15 years 2 months ago
A Quantum Game Semantics for the Measurement Calculus
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...
Yannick Delbecque
INLG
2010
Springer
15 years 10 days ago
Using Semantic Web Technology to Support NLG. Case Study: OWL finds RAGS
The semantic web is a general vision for supporting knowledge-based processing across the WWW and its successors. As such, semantic web technology has potential to support the exc...
Chris Mellish