2173 search results - page 248 / 435 » An operational semantics for skeletons |
125
click to vote
CC
2003
Springer
15 years 6 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...
116
click to vote
DALT
2003
Springer
15 years 6 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...
107
click to vote
ICDT
2003
ACM
15 years 6 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...
136
click to vote
DALT
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
101
Voted
LICS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...