scientific article; zbMATH DE number 1303732

zbMATH Open0924.03044MaRDI QIDQ4250367FDOQ4250367

Authors: Jo Erskine Hannay 

Publication date: 7 November 1999

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

Recommendations

• Modules, abstraction, and parametric polymorphism
• Theory of Modules
• Abstractions of data types
• scientific article; zbMATH DE number 2061707

zbMATH Keywords

data type specificationequational calculusspecification refinementprotective abstraction barrier in proof strategies

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Cited In (2)

• Automated Deduction – CADE-19
• Title not available (Why is that?)

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 Q4250367)