Analyzing stores and references in a parallel symbolic language
Suresh Jagannathan, Stephen B. Weeks · 1994
We describe an analysis of a parallel language in which processes communicate via first-class mutable shared locations. The sequential core of the language defines a higher-order strict functional language with list data structures. The parallel extensions permit processes and shared locations to be dynamically created; synchronization among processes occurs exclusively via shared locations.