2496 search results - page 263 / 500 » Error-detecting properties of languages |
198
click to vote
QEST
2006
IEEE
16 years 22 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...
155
click to vote
FDL
2005
IEEE
16 years 10 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
182
click to vote
FOSSACS
2005
Springer
16 years 8 days ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
227
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
Turing complete Genetic Programming (GP) models introduce the concept of internal state, and therefore have the capacity for identifying interesting temporal properties. Surprisin...
179
click to vote
APLAS
2004
ACM
16 years 5 days ago
2004
ACM
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...