4690 search results - page 49 / 938 » An operational semantics for Scheme |
ACL
2007
13 years 11 months ago
2007
There is little consensus on a standard experimental design for the compound interpretation task. This paper introduces wellmotivated general desiderata for semantic annotation sc...
SIGOPSE
2004
ACM
14 years 3 months ago
2004
ACM
ENTCS
2000
13 years 10 months ago
2000
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...
FOAL
2009
ACM
14 years 1 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...
ENTCS
2008
13 years 10 months ago
2008
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...