A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness
Abstract elided by the publisher.
Related papers
- Finiteness and rational sequences, constructively JFP 2017
- Logical Reasoning for Disjoint Permissions ESOP 2018
- The Elements of Decision Alignment ECOOP 2016
- Disjointness domains for fine-grained aliasing OOPSLA 2015
- Does the discipline of preprocessor annotations matter?: a controlled experiment GPCE 2013
- Using Disjoint Reachability for Parallelization CC 2011
- Field level analysis for heap space optimization in embedded java environments ISMM 2004
- A Typing Discipline for Hardware Interfaces ECOOP 2019