Copenhagen Programming Language Seminar
We propose a semantics that avoids such a choice by regarding all interference that is not controlled by explicit synchronization as catastrophic.
It is based on three principles:
- Operations have duration and can overlap one another during execution.
- If two overlapping operations touch the same location, the meaning of the program execution is "wrong".
- If, from a given starting state, execution of a program can give "wrong", then no other possibilities need be considered.
In our current approach, instead of trace sets, we use trace trees, in which we separate nondeterminism and branching.
Lars Birkedal Administrative host:Renée Korver Michan.
All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org