2173 search results - page 246 / 435 » An operational semantics for skeletons |
194
click to vote
ICDE
2005
IEEE
16 years 7 days 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. ...
163
click to vote
TYPES
2007
Springer
16 years 22 days 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...
195
click to vote
QEST
2006
IEEE
16 years 19 days 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...
171
click to vote
ECOOP
2005
Springer
16 years 5 days 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 ...
169
click to vote
FMCO
2005
Springer
16 years 4 days 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...