5343 search results - page 139 / 1069 » Keyword programming in java |
ECOOP
2008
Springer
14 years 5 days ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
REFLECTION
1999
Springer
14 years 2 months ago
1999
Springer
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
IWMM
2000
Springer
14 years 2 months ago
2000
Springer
Java uses garbage collection (GC) for the automatic reclamation of computer memory no longer required by a running application. GC implementations for Java Virtual Machines (JVM) ...
CJ
2000
13 years 10 months ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...