Work

Java memory model aware software validation

Year: 2008

Type: conference-paper

Source: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)

DOI: 10.1145/1512475.1512478

Authors: Arnab De, Abhik Roychoudhury, Deepak D'Souza

Institutions: Indian Institute of Science Bangalore, National University of Singapore

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Agency for Science, Technology and Research, National University of Singapore

Awards: G2070674209, G2736600320

OpenAlex ID: W2077097589

FWCI: 1.395

Cites: 16

Cited by: 15

Related to: 10