A Semantics for Multiprocessor Systems
Abstract elided by the publisher.
Related papers
- The semantics of x86-CC multiprocessor machine code POPL 2009
- Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems POPL 1986
- Parallel Programming in a Virtual Object Space OOPSLA 1987
- Semantic Analysis in a Concurrent Compiler PLDI 1988
- A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System CC 1990
- Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems CAV 1999
- Reconciling Event Structures with Modern Multiprocessors ECOOP 2020
- Multiprocessor Smalltalk: A Case Study of a Multiprocessor-Based Programming Environment PLDI 1988