Results 241 to 250 of about 13,975 (278)

Declarative concurrency in Java

2000
We propose a high-level language based on first order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively state the system safety properties as temporal constraints on specific program points of interest.
Rafael Ramirez, Andrew E. Santosa
openaire   +1 more source

Slicing concurrent Java programs

Proceedings Seventh International Workshop on Program Comprehension, 2003
Although many slicing algorithms have been proposed for object oriented programs, no slicing algorithm has been proposed which can be used to handle the problem of slicing concurrent Java programs correctly. We propose a slicing algorithm for concurrent Java programs.
openaire   +2 more sources

Implementing Declarative Concurrency in Java

2000
We describe the implementation of a high-level language based on first order logic for expressing synchronization in multithreaded Java programs. The language allows the programmer to declaratively state the system safety properties as temporal constraints on specific program points of interest (events).
Rafael Ramirez, Andrew E. Santosa, Lee Wei Hong   +2 more
openaire   +2 more sources

The Extension of Java Annotated Concurrency Specification

2009 International Forum on Computer Science-Technology and Applications, 2009
JAC is an extended Java that introduces a higher level of concurrency, hiding threads and separating thread synchronization from application logic in a declarative fashion. It attracts people’s attention as soon as it appears. But its present version could not support the sharing class static attribute of class object.
Liu Wei, Zhu Hong, Liu Ruixiang
openaire   +2 more sources

CJava: Introducing Concurrent Objects in Java

1998
Java is rapidly becoming one of the most popular object-oriented languages. It is portable and architecture neutral, it is easy to use, it is designed to support the development of highly reliable and robust applications, it is dynamic. But it is not truly concurrent.
CUGOLA, GIANPAOLO, GHEZZI, CARLO
openaire   +3 more sources

Decaf : confluent concurrent programming in Java

2022
This thesis was scanned from the print manuscript for digital preservation and is copyright the author. Researchers can access this thesis by asking their local university, institution or public library to make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
openaire   +1 more source

Concurrent Testing of Java Components Using Java PathFinder

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006
Concurrent systems work nondeterministically. For concurrent systems, UniTESK-based test suite executes methods with different parameters in different states, but it does not guarantee that all possible execution paths of a method will be tested because of its concurrent nature.
openaire   +2 more sources

Modelling Java concurrency with Object-Z

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings., 2003
In this paper, we present a formal model of Java concurrency using the Object-Z specification language. This model captures the Java thread synchronization concepts of locking, blocking, waiting and notification. In the model, we take a viewpoints approach, first capturing the role of the objects and threads, and then taking a system view where we ...
Luke Wildman, R. Duke, Brad Long
openaire   +2 more sources

A deadlock detection tool for concurrent Java programs

Software: Practice and Experience, 1999
This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator.
DEMARTINI, Claudio Giovanni, IOSIF R., SISTO, Riccardo   +2 more
openaire   +3 more sources

A concurrency test tool for Java monitors

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2005
The Java programming language supports monitors. Monitor implementations, like other concurrent programs, are hard to test due to the inherent non-determinism. This paper presents the ConAn (Concurrency Analyser) tool for generating drivers for the testing of Java monitors.
Daniel Hoffman, Paul Strooper, Brad Long
openaire   +2 more sources