C/C++ Causal Cycles Confound Compositionality
Published in Tiny Transactions on Computer Science (TinyToCS) Volume 2, 2014
Abstract: C/C++ permit seemingly-impossible cycles in causality. This breaks compositionality: two apparently safe programs may fault when composed.
Paper: PDF, White Rose archive: https://eprints.whiterose.ac.uk/82801/