28 search results - page 2 / 6 » Featherweight Wrap Java: wrapping objects and methods |
ASP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
LISP
2008
13 years 5 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
CSDA
2008
13 years 5 months ago
2008
Given angular data 1, . . . , n [0, 2) a common objective is to estimate the density. In the case that a kernel estimator is used, bandwidth selection is crucial to the performan...
APSEC
2008
IEEE
13 years 11 months ago
2008
IEEE
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...