Automatic Generation of Contracts for Concurrent Java Programs
Citation:
Pereira, H. G., D. G. Sousa, J. S. Bradbury, and J. M. Lourenço, Automatic Generation of Contracts for Concurrent Java Programs, , Submitted.
Export
Tagged
XML
BibTex
Google Scholar
About
Publications
Prototypes
search-site
Enter your keywords:
Recent Publications
A Study of Latency-Aware Data-Placement in Heterogeneous (PMEM) Memory Systems
Automatic Generation of Contracts for Concurrent Java Programs
Automatic Generation of Contracts for Concurrent Java Progra
Automatic Generation of Contracts for Concurrent Java Programs
OSCAR: A Noise Injection Framework for Concurrent Java Programs
OSCAR - A Java Noise Injection Framework
more