May-Happen-in-Parallel Analysis with Returned Futures

DOI10.1007/978-3-319-68167-2_3MaRDI QIDQ5096077zbMATH OpenOpenAlexFDO

Authors Elvira Albert, Samir Genaim, Pablo Gordillo

Publication date 12 August 2022

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-68167-2_3

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• May-happen-in-parallel analysis with condition synchronization
• May-happen-in-parallel analysis for actor-based concurrency
• May-Happen-in-Parallel Analysis for Priority-Based Scheduling
• Parallelism analyzers for parallel discrete event simulation

Cited in

(4)

• May-happen-in-parallel analysis with condition synchronization
• Dependence analysis for safe futures
• May-happen-in-parallel analysis for actor-based concurrency
• Clustered relational thread-modular abstract interpretation with local traces

This page was built for publication: May-Happen-in-Parallel Analysis with Returned Futures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096077)