Yicho - A System for Programming Program Calculations
No abstract available.
Related papers
- Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation POPL 2024
- IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs ECOOP 2016
- IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition ECOOP 2017
- Point-free calculational proofs and program derivation in linear algebra using a graphical syntax JFP 2025
- Floorplan: spatial layout in memory management systems GPCE 2019
- Link-Time Optimization of Address Calculation on a 64-bit Architecture PLDI 1994
- Calculating-Confluence Compositionally CAV 2003
- JFP special issue on program calculation JFP 2025