Relational programming laws in the tree, list, bag, set hierarchy

DOI10.1016/0167-6423(94)90008-6zbMath0811.68072OpenAlexW1996302019MaRDI QIDQ1330449

Paul F. Hoogendijk, Roland C. Backhouse

Publication date: 21 July 1994

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(94)90008-6

zbMATH Keywords

imperative programsBird-Meertens formalismDijkstra-Feijen calculusrelational theory of datatypes

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Data structures (68P05)

This page was built for publication: Relational programming laws in the tree, list, bag, set hierarchy