671 search results - page 77 / 135 » Semantics Preserving Model Composition |
ENTCS
2002
13 years 8 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
AICT
2006
IEEE
14 years 2 months ago
2006
IEEE
Web Services (WSs) are a new breed of web application that have brought out quite challenging research issues. One of these is the establishment of an interoperable semantic frame...
ARTS
1997
Springer
14 years 1 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
AOSD
2010
ACM
14 years 1 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...