440 search results - page 48 / 88 » Predicate Abstraction with Indexed Predicates |
160
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
161
click to vote
LOPSTR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
165
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
153
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
151
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In recent times, the proliferation of spatial data on the Internet is beginning to allow a much larger audience to access and share data currently available in various Ge...