Stronger compositions for retrenchments
type: Item
instance of: scholarly article
title: Stronger compositions for retrenchments
zbMATH Open document ID: 1209.68131
author: C. Jeske
author: Richard Banach
published in: The Journal of Logic and Algebraic Programming
publication date: 2010-05-27T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5712835
zbMATH Keywords: retrenchment
zbMATH Keywords: composition
zbMATH Keywords: associativity
MaRDI profile type: Publication
full work available at URL: j.jlap.2009.10.002
OpenAlex ID: W2003371912
cites work: Regular relations and bicartesian squares
cites work: On regularity in software design
cites work: Retrenchment and refinement interworking: the tower theorems
cites work: Simple feature engineering via neat default retrenchments
cites work: FM 2005: Formal Methods
cites work: Composition mechanisms for retrenchment
cites work: Engineering and theoretical underpinnings of retrenchment
cites work: Q2724177
cites work: Data Refinement
cites work: Q5287518
DOI: 10.1016/J.JLAP.2009.10.002
description: scientific article; zbMATH DE number 5712835