Sound and complete rules for data reification

DOI10.1007/BF02919424MaRDI QIDQ1373852zbMATH OpenFDO

Authors J. Ning

Publication date 25 November 1997

Published in Science in China. Series E (Search for Journal in Brave)

zbMATH Keywords

VDMdata reification

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• A single complete rule for data refinement
• A single complete refinement rule for Z
• scientific article; zbMATH DE number 3913659
• Laws of data refinement

Cited in

(1)

• Laws of data refinement

This page was built for publication: Sound and complete rules for data reification

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