Sciweavers

832 search results - page 61 / 167
» Mutation of Java Objects
Sort
View
IPPS
2002
IEEE
14 years 2 months ago
JMPI: Implementing the Message Passing Standard in Java
The Message Passing Interface (MPI) standard provides a uniform Application Programmers Interface (API) that abstracts the underlying hardware from the parallel applications. Rece...
Steven Morin, Israel Koren, C. Mani Krishna
FASE
2001
Springer
14 years 2 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
JTRES
2010
ACM
13 years 10 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
ASP
2003
Springer
14 years 3 months ago
A Java Wrapper for DLV
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
Francesco Ricca
HOTSWUP
2009
ACM
14 years 2 months ago
On Performance of Delegation in Java
Delegation is an important design concept in object-oriented languages. In contrast to inheritance, which relates classes to each other, delegation operates on the level of object...
Sebastian Götz, Mario Pukall