X10: Performance and Productivity at Scale

X10
Documentation
- An Introduction to X10
- Getting Started
- Installing X10DT
- Language Specification
- Practical X10 Programming
- Tutorials/Overview Articles
- X10 Standard Library API
- Code Examples
Downloads
- X10 and X10DT Releases
  - Latest Release
  - All Releases
- APGAS Releases
  - Latest Release
- Building from Source
  - Building X10 from Source
  - Building X10DT From Source
X10 Community
X10 Development
X10 Workshops
Feedback
- Bug Reporting / Feature Request

A Proof System for a PGAS Language

A Proof System for a PGAS Language. Shivali Agarwal1 and R.K. Shyamasundar. Published in Concurrency, Compositionality and Correctness 2010.