Algebraic Properties of Program Integration
No abstract available.
DOI 10.1007/3-540-52592-0_72
Related papers
- Smooth manifolds and types to sets for linear algebra in Isabelle/HOL CPP 2019
- Local Reasoning for Global Graph Properties ESOP 2020
- Verifying Infinite State Processes with Sequential and Parallel Composition POPL 1995
- Algebraic data integration JFP 2017
- Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries GPCE 2008
- PyEuclid: A Versatile Formal Plane Geometry System in Python CAV 2025
- Algebraic Proofs of Properties of Objects ESOP 1994
- A relational framework for higher-order shape analysis ICFP 2014