Stronger compositions for retrenchments
From MaRDI portal
Publication:974130
DOI10.1016/j.jlap.2009.10.002zbMath1209.68131MaRDI QIDQ974130
Publication date: 27 May 2010
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2009.10.002
68N99: Theory of software
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Simple feature engineering via neat default retrenchments
- Engineering and theoretical underpinnings of retrenchment
- Regular relations and bicartesian squares
- On regularity in software design
- Composition mechanisms for retrenchment
- Data Refinement
- FM 2005: Formal Methods
- Retrenchment and refinement interworking: the tower theorems