3311 search results - page 4 / 663 » Deductive Object Programming |
ICDE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...
SAS
2005
Springer
14 years 26 days ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
LOPSTR
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
TODS
2012
11 years 9 months ago
2012
JUCS
2006
13 years 7 months ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...