2496 search results - page 84 / 500 » Error-detecting properties of languages |
98
Voted
FMOODS
2003
15 years 2 months ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
103
click to vote
ENTCS
2006
15 years 20 days ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
102
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
118
Voted
FASE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent t...