1206 search results - page 105 / 242 » Concurrent Abstract Predicates |
112
click to vote
ECOOP
1999
Springer
15 years 6 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 ...
108
click to vote
LOPSTR
1999
Springer
15 years 6 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...
128
click to vote
FASE
2009
Springer
15 years 6 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....
105
click to vote
EDBTW
2006
Springer
15 years 6 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...
113
click to vote
COLING
1992
15 years 3 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...