2500 search results - page 137 / 500 » Logical Semantics of Modularisation |
166
Voted
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
150
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Model-theoretic semantics is a formal account of the interpretations of legitimate expressions of a language. It is increasingly being used to provide Web markup languages with we...
176
click to vote
JLP
2006
15 years 6 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
193
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
150
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...