Modelling for Mere Mortals
Abstract elided by the publisher.
Related papers
- Age-Based Garbage Collection OOPSLA 1999
- Object Oriented Development in an Industrial Environment OOPSLA 1987
- Formal Methods meet Digital Twins: Challenges and Opportunities ESOP 2026
- Inlining as staged computation JFP 2003
- On Model-Checking Higher-Order Effectful Programs POPL 2024
- On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure CAV 2009
- On homotopy of walks and spherical maps in homotopy type theory CPP 2022
- Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy POPL 2015