2106 search results - page 161 / 422 » Operational Semantics for MSC'96 |
182
click to vote
ICDE
2005
IEEE
15 years 11 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. ...
154
click to vote
ICFP
1996
ACM
15 years 10 months ago
1996
ACM
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
151
click to vote
JLP
2006
15 years 5 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
151
click to vote
JANCL
2007
15 years 5 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
157
click to vote
TYPES
2007
Springer
15 years 12 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...