Sciweavers

2135 search results - page 37 / 427
» An Operational Semantics for JavaScript
Sort
View
SIGOPSE
2004
ACM
15 years 7 months ago
Exploiting semantic clustering in the eDonkey P2P network
Sidath B. Handurukande, Anne-Marie Kermarrec, Fabr...
ENTCS
2000
70views more  ENTCS 2000»
15 years 1 months ago
A Space Semantics for Core Haskell
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
Adam Bakewell, Colin Runciman
FOAL
2009
ACM
15 years 5 months ago
Graph-based specification and simulation of featherweight Java with around advice
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...
Tom Staijen, Arend Rensink
ENTCS
2008
97views more  ENTCS 2008»
15 years 2 months ago
Global State Considered Helpful
Reynolds' view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in parti...
Paul Blain Levy
118
Voted
HIPC
2009
Springer
14 years 11 months ago
Group file operations for scalable tools and middleware
Group file operations are a new, intuitive idiom for tools and middleware - including parallel debuggers and runtimes, performance measurement and steering, and distributed resourc...
Michael J. Brim, Barton P. Miller