2135 search results - page 245 / 427 » An Operational Semantics for JavaScript |
123
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
155
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
153
click to vote
HRI
2010
ACM
15 years 3 months ago
2010
ACM
In this paper a system, which is driven through natural language, that allows operators to select and manipulate objects in the environment using an industrial robot is proposed. I...
100
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
116
click to vote
ENTCS
2008
15 years 3 months ago
2008
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...