Sciweavers

304 search results - page 2 / 61
» Safe futures for Java
Sort
View
PPPJ
2004
ACM
14 years 1 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
14 years 1 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 8 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 7 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 7 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...