About Synchronous Programming and Abstract Interpretation
No abstract available.
Related papers
- Interpreting Knowledge-based Programs ESOP 2023
- Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs VMCAI 2005
- Using Abstract Interpretation to Correct Synchronization Faults VMCAI 2017
- A Relationship Between Abstract Interpretation and Projection Analysis POPL 1990
- Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic TOPLAS 2016
- Abstract Interpretation by Dynamic Partitioning JFP 1992
- Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side POPL 2019
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024