899 search results - page 39 / 180 » A CTL-Based Logic for Program Abstractions |
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
134
click to vote
FAC
2010
14 years 11 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
111
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
139
click to vote
FUIN
2010
14 years 11 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
104
click to vote
ERSHOV
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...