17 search results - page 1 / 4 » An Event-Based Structural Operational Semantics of Multi-Thr... |
JAVA
1999
Springer
13 years 9 months ago
1999
Springer
AMAST
1997
Springer
13 years 9 months ago
1997
Springer
NADA
1998
Springer
13 years 9 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
FOAL
2009
ACM
13 years 9 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...
ECOOP
2010
Springer
13 years 9 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...