2135 search results - page 241 / 427 » An Operational Semantics for JavaScript |
158
click to vote
DALT
2009
Springer
15 years 8 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...
121
click to vote
LICS
2000
IEEE
15 years 7 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 ...
109
click to vote
WETICE
1999
IEEE
15 years 7 months ago
1999
IEEE
Our Workgroup Cache system operates as a virtual intranet, introducing a shared cache to members of the same workgroup. Users may be members of multiple workgroups at the same tim...
138
click to vote
LICS
1993
IEEE
15 years 7 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
132
click to vote
DEXA
1994
Springer
15 years 7 months ago
1994
Springer
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. We have integrated real-time, object-oriented, semantic and ...