Automatic Generation of Contracts for Concurrent Java Progra
Citation:
Pereira, H., Automatic Generation of Contracts for Concurrent Java Progra, , Lisboa, FCT-NOVA, 2022.
Export
Tagged
XML
BibTex
Google Scholar
Preview
Attachment
Size
per22_-_contracts.pdf
504.74 KB
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
