Simple feature engineering via neat default retrenchments
From MaRDI portal
Publication:649587
DOI10.1016/j.jlap.2010.12.001zbMath1231.68106OpenAlexW1974607763MaRDI QIDQ649587
Publication date: 2 December 2011
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.2010.12.001
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stronger compositions for retrenchments
- Engineering and theoretical underpinnings of retrenchment
- Regular relations and bicartesian squares
- On regularity in software design
- Superposition refinement of reactive systems
- Composition mechanisms for retrenchment
- Data Refinement
- FM 2005: Formal Methods
- Retrenchment and refinement interworking: the tower theorems
This page was built for publication: Simple feature engineering via neat default retrenchments