17 search results - page 1 / 4 » An Event-Based Structural Operational Semantics of Multi-Thr... |
JAVA
1999
Springer
13 years 10 months ago
1999
Springer
AMAST
1997
Springer
13 years 10 months ago
1997
Springer
NADA
1998
Springer
13 years 10 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 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...
ECOOP
2010
Springer
13 years 11 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...