Contract lenses: Reasoning about bidirectional programs via calculation
From MaRDI portal
Recommendations
- Proofs-as-imperative-programs: application to synthesis of contracts
- Applicative bidirectional programming with lenses
- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
- An abstract contract theory for programs with procedures
- Symbolic abstract contract synthesis in a rewriting framework
- Program inversion in the refinement calculus
- Verifying programs in the calculus of inductive constructions
Cites work
- Applicative bidirectional programming with lenses
- Bidirectionalization for free! (Pearl)
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Bidirectionalizing graph transformations
- Boomerang, resourceful lenses for string data
- Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
- Combining syntactic and semantic bidirectionalization
- Composing bidirectional programs monadically
- Deriving structural hylomorphisms from recursive definitions
- Edit lenses
- Generic point-free lenses
- scientific article; zbMATH DE number 2087343 (Why is no real title available?)
- Introduction to bidirectional transformations
- Matching lenses: alignment and view update
- Quotient lenses
- Symmetric lenses
- Update semantics of relational views
This page was built for publication: Contract lenses: Reasoning about bidirectional programs via calculation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6065510)
