2135 search results - page 238 / 427 » An Operational Semantics for JavaScript |
242
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
228
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
150
click to vote
ICDE
2005
IEEE
15 years 9 months ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
131
click to vote
TYPES
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
140
click to vote
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...