Safe Data Type Specifications

DOI10.1109/TSE.1984.5010237zbMath0536.68010WikidataQ111899691 ScholiaQ111899691MaRDI QIDQ3321426

N. C. K. Phillips

Publication date: 1984

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

abstract data typesalgebraic axioms

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: Safe Data Type Specifications