✦ LIBER ✦

Slicing Event Spaces: Towards a Java Programs Checking Framework

✍ Scribed by Néstor Cataño

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 194 KB
Volume: 80
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80809-0

No coin nor oath required. For personal study only.

✦ Synopsis

Java event spaces are partial orders of memory and thread actions as generated by a multi-threaded Java program in execution. This paper shows how standard techniques of slicing can be used to reduce the size of Java event spaces. Furthermore, we face the problem that arises when two or more variables of an event space are aliased and we outline an algorithm that goes through an event space and calculates aliases of variables. We incorporate this algorithm in the calculation of the program program slice.