2135 search results - page 240 / 427 » An Operational Semantics for JavaScript |
102
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
118
click to vote
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
143
click to vote
CC
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
135
click to vote
DALT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
127
click to vote
ICDT
2003
ACM
15 years 8 months ago
2003
ACM
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragm...