Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • A formal study of slicing for...

Treffer: A formal study of slicing for multi-threaded programs with JVM concurrency primitives

Title:
A formal study of slicing for multi-threaded programs with JVM concurrency primitives
Authors:
HATCLIFF, J, CORBETT, J, DWYER, M, SOKOLOWSKI, S, HONGJUN ZHENG
Source:
Static analysis (Venice, 22-24 September 1999)Lecture notes in computer science. :1-18
Publisher Information:
Berlin: Springer, 1999.
Publication Year:
1999
Physical Description:
print, 14 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Génie logiciel, Software engineering, Développement logiciel, Software development, Desarrollo logicial, Génie logiciel, Software engineering, Ingeniería logiciel, Programmation orientée objet, Object oriented programming, Spécification formelle, Formal specification, Especificación formal, Spécification programme, Program specification, Especificación programa, Vérification formelle, Formal verification
Document Type:
Konferenz Conference Paper
File Description:
text
Language:
English
Author Affiliations:
SAnToS Laboratory, Kansas State University, United States
University of Hawaii, United States
ISSN:
0302-9743
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=1828722
Rights:
Copyright 1999 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.1828722
Database:
PASCAL Archive

Weitere Informationen

Previous work has shown that progran slicing can be a useful step in model-checking software systems. We are interested in applying these techniques to construct models of multi-threaded Java programs. Past work does not address the concurrency primitives found in Java, nor does it provide the rigorous notions of slice correctness that are necessary for reasoning about programs with non-deterministic behaviour and potentially infinite computation traces. In this paper, we define the semantics of a simple multi-threaded language with concurrency primitives matching those found in the Java Virtual Machine, we propose a bisimulation-based notion of correctness for slicing in this setting, we identify notions of dependency that are relevant for slicing multi-threaded Java programs, and we use these dependencies to specify a program slicer for the language presented in the paper. Finally, we discuss how these dependencies can be refined to take into account common programming idioms of concurrent Java software.