Functionality Decomposition by Compositional Correstness Preserving Transformation
No abstract available.
Related papers
- Decomposition diversity with symmetric data and codata POPL 2020
- Compositional Parallel Programming Languages TOPLAS 1996
- Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations TOPLAS 2014
- Decomposition instead of self-composition for proving the absence of timing channels PLDI 2017
- UDF to SQL translation through compositional lazy inductive synthesis OOPSLA 2021
- Effectful Lenses: There and Back with Different Monads ICFP 2025
- A shortcut fusion rule for circular program calculation Haskell 2007
- CHAD: Combinatory Homomorphic Automatic Differentiation TOPLAS 2022