Sciweavers

1932 search results - page 93 / 387
» Molecule-oriented programming in Java
Sort
View
91
Voted
PASTE
2004
ACM
15 years 6 months ago
An improved slicer for Java
We present an improved slicing algorithm for Java. The best algorithm known so far, first presented in [11], is not always precise if nested objects are used as actual parameters...
Christian Hammer, Gregor Snelting
IPPS
2003
IEEE
15 years 5 months ago
Model Checking a Cache Coherence Protocol for a Java DSM Implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
114
Voted
POS
1998
Springer
15 years 4 months ago
Java Finalize Method, Orthogonal Persistence and Transactions
Java is a popular, object oriented language that is runtime type safe. As such, it has been seen as an attractive basis for the implementation of orthogonally persistent systems b...
John N. Zigman, Stephen Blackburn
JOT
2008
144views more  JOT 2008»
15 years 15 days ago
JAPROSIM: A Java framework for Process Interaction Discrete Event Simulation
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...
Bourouis Abdelhabib, Belattar Brahim
85
Voted
FASE
2010
Springer
15 years 7 months ago
Memory Leaks Detection in Java by Bi-abductive Inference
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
Dino Distefano, Ivana Filipovic