656 search results - page 87 / 132 » Parameterized Types for Java |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Structural subtyping is popular in research languages, but all mainstream object-oriented languages use nominal subtyping. Since languages with structural subtyping are n...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
CW
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we propose FVRML—a function-based extension of Virtual Reality Modeling Language which allows for time-dependent shape modeling on the web. Shape’s geometry, 3D ...