Relational programming laws in the tree, list, bag, set hierarchy
- 30 April 1994
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 22 (1-2), 67-105
- https://doi.org/10.1016/0167-6423(94)90008-6
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Data structures and program transformationScience of Computer Programming, 1990
- Corrigenda: laws of programmingCommunications of the ACM, 1987
- Laws of programmingCommunications of the ACM, 1987
- Transformational programming and the paragraph problemScience of Computer Programming, 1986
- A Couple of Novelties in the Propositional CalculusMathematical Logic Quarterly, 1985
- The promotion and accumulation strategies in transformational programmingACM Transactions on Programming Languages and Systems, 1984
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Relations binaires, fermetures, correspondances de GaloisBulletin de la Société Mathématiques de France, 1948