Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
From MaRDI portal
Publication:2915141
DOI10.1007/978-3-642-33314-9_10zbMath1364.68264OpenAlexW1955522726MaRDI QIDQ2915141
Alcino Cunha, Nuno Macedo, Hugo Pacheco
Publication date: 21 September 2012
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33314-9_10
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Transformation of structure-shy programs with application to XPath queries and strategic functions
- A programmable editor for developing structured documents based on bidirectional transformations
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
- Programming from Galois Connections
- Generic Point-free Lenses
- Gradual Refinement
- Multi-paradigm Declarative Languages
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Combining syntactic and semantic bidirectionalization
- Bidirectionalizing graph transformations
- Quotient lenses
- Extended Static Checking by Calculation Using the Pointfree Transform
- Bidirectionalization for free! (Pearl)
- Combinators for bi-directional tree transformations
- Programming Languages and Systems
This page was built for publication: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
