Sciweavers

304 search results - page 2 / 61
» Safe futures for Java
Sort
View
PPPJ
2004
ACM
13 years 10 months ago
Safe instantiation in generic Java
This paper presents the “Safe-Instantiation Principle,” a new design principle for evaluating extensions of Java with support for generic types. We discuss the GJ and NextGen ...
Eric E. Allen, Robert Cartwright
CLUSTER
2006
IEEE
13 years 11 months ago
MPJ Express: Towards Thread Safe Java HPC
MPJ Express is a thread-safe Java messaging library that provides a full implementation
Mark Baker, Bryan Carpenter, Aamir Shafi
COORDINATION
2009
Springer
14 years 5 months ago
Exceptionally Safe Futures
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
Armand Navabi, Suresh Jagannathan
JTRES
2010
ACM
13 years 5 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
CJ
2000
101views more  CJ 2000»
13 years 5 months ago
Safe Structural Conformance for Java
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...
Konstantin Läufer, Gerald Baumgartner, Vincen...