Analyzing stores and references in a parallel symbolic language

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...

Full description

Saved in:

Bibliographic Details
Main Authors:	Jagannathan, Suresh, Weeks, Stephen
Format:	Conference Proceeding
Language:	English
Subjects:	Computing methodologies > Parallel computing methodologies > Parallel programming languages Software and its engineering > Software notations and tools > General programming languages > Language types Software and its engineering > Software notations and tools > General programming languages > Language types > Concurrent programming languages Software and its engineering > Software notations and tools > General programming languages > Language types > Distributed programming languages Software and its engineering > Software notations and tools > General programming languages > Language types > Parallel programming languages
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!