656 search results - page 61 / 132 » Parameterized Types for Java |
TLDI
2009
ACM
14 years 4 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Because of the strong coupling of classes and the proliferation of unneeded class members induced by inheritance, the suggestion to use composition and delegation instead has beco...
ECOOPW
1999
Springer
14 years 1 days ago
1999
Springer
Safe language technology can be used for protection within a single address space. This protection is enforced by the language’s type system, which ensures that references to obj...
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
VMV
2000
13 years 9 months ago
2000
In this paper the problem of matching freeform surface features against measured point data is studied. The motivation for this investigation is the recent demand for fast and rob...