Abstract is missing.
- A Mechanical Soundness Proof for Subtyping Over Recursive TypesTimothy Jones, David J. Pearce. 1 [doi]
- A formal account of SSA in Java-like languagesDavide Ancona, Andrea Corradi. 2 [doi]
- A Note on the Soundness of Difference PropagationJens Dietrich, Nicholas Hollingum, Bernhard Scholz. 3 [doi]
- Generating Concurrency Checks AutomaticallyJonathan Hoyland, Matthew Hague. 4 [doi]
- An Extended Buffered Memory Model With Full ReorderingsGurvan Cabon, David Cachera, David Pichardie. 5 [doi]
- Coupling catch clauses with local declarationsPaola Giannini, Marco Servetto, Elena Zucca. 6 [doi]
- Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFastBart Jacobs. 7 [doi]
- Towards Modular Reasoning for Context-Oriented ProgramsTomoyuki Aotani, Gary T. Leavens. 8 [doi]
- Towards a model of corecursion with defaultDavide Ancona, Francesco Dagnino, Elena Zucca. 9 [doi]
- Permission and Authority Revisited towards a formalisationSophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray. 10 [doi]