A Proof System for a PGAS Language
From MaRDI portal
Publication:5187828
DOI10.1007/978-3-642-11512-7_11zbMath1274.68038MaRDI QIDQ5187828
Shivali Agarwal, Rudrapatna K. Shyamasundar
Publication date: 9 March 2010
Published in: Concurrency, Compositionality, and Correctness (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11512-7_11
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
Cites Work
- Compositional semantics for real-time distributed computing
- An axiomatic proof technique for parallel programs
- An assertion-based proof system for multithreaded Java
- Refinement calculus: A basis for translation validation, debugging and certification
- A Proof System for Communicating Sequential Processes
- The semantics of future and an application
- Type systems for distributed data structures
- A Complete Guide to the Future
- CONCUR 2005 – Concurrency Theory