2173 search results - page 246 / 435 » An operational semantics for skeletons |
126
Voted
ICDE
2005
IEEE
15 years 6 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. ...
107
click to vote
TYPES
2007
Springer
15 years 6 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...
115
Voted
QEST
2006
IEEE
15 years 6 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...
100
Voted
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
FMCO
2005
Springer
15 years 6 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...