scientific article; zbMATH DE number 910716

zbMATH Open0847.68029MaRDI QIDQ4885874FDOQ4885874

Authors: David Gries 

Publication date: 7 October 1996

Title of this publication is not available (Why is that?)

Recommendations

• Data refinement by calculation
• Laws of data refinement
• Data refinement of predicate transformers
• scientific article; zbMATH DE number 1104385
• scientific article; zbMATH DE number 1303988

zbMATH Keywords

data refinementre-using programs

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (5)

• Laws of data refinement
• Title not available (Why is that?)
• Data refinement of remote procedures
• Automatic Data Refinement
• Some proofs of data refinement

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4885874)