Sciweavers

6016 search results - page 282 / 1204
» The semantics of graphical languages
Sort
View
POPL
2009
ACM
16 years 7 months ago
A model of cooperative threads
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
Gordon D. Plotkin, Martín Abadi
DALT
2004
Springer
16 years 2 days ago
Intensional Programming for Agent Communication
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
Vasu S. Alagar, Joey Paquet, Kaiyu Wan
VRML
1998
ACM
15 years 11 months ago
DWTP - An Internet Protocol for Shared Virtual Environments
VRML (the Virtual Reality Modeling Language) has brought 3D objects and virtual worlds to a large number of Internet users. While it provides a suitable basis for the platform ind...
Wolfgang Broll
GPCE
2003
Springer
15 years 12 months ago
ANEMIC: Automatic Interface Enabler for Model Integrated Computing
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
Steven Nordstrom, Shweta Shetty, Kumar Gaurav Chho...
PTS
2008
109views Hardware» more  PTS 2008»
15 years 8 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund