ePrints

Reasoning about expression evaluation under interference

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

The full text of this item is currently under embargo and cannot be made publicly available until after publication.

Publication metadata

Author(s): Hayes IJ, Jones CB, Meinicke LA

Publication type: Online Publication

Publication status: Submitted

Series Title: arXiv

Year: 2026

Publisher: arXiv

Access Date: 2026

URL: https://doi.org/10.48550/arXiv.2409.07741

DOI: 10.48550/arXiv.2409.07741

Notes: draft of paper under review for Formal Aspects of Computing

Share