Sound and complete rules for data reification

DOI10.1007/BF02919424zbMATH Open0886.68047MaRDI QIDQ1373852FDOQ1373852

Authors: J. Ning 

Publication date: 25 November 1997

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

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

zbMATH Keywords

VDMdata reification

Mathematics Subject Classification ID

Data structures (68P05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

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)