Sciweavers

2135 search results - page 37 / 427
» An Operational Semantics for JavaScript
Sort
View
SIGOPSE
2004
ACM
14 years 1 months ago
Exploiting semantic clustering in the eDonkey P2P network
Sidath B. Handurukande, Anne-Marie Kermarrec, Fabr...
ENTCS
2000
70views more  ENTCS 2000»
13 years 7 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
13 years 11 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»
13 years 7 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
HIPC
2009
Springer
13 years 5 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