Sciweavers

6794 search results - page 161 / 1359
» Semantics of Visual Languages
Sort
View
VL
1994
IEEE
159views Visual Languages» more  VL 1994»
14 years 1 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
PLDI
2011
ACM
13 years 2 days 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...
IFIP
2010
Springer
13 years 4 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»
13 years 9 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
13 years 7 months 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