{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:14Z","timestamp":1742617154179,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566250"},{"type":"electronic","value":"9783540476139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56625-2_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:22:47Z","timestamp":1330255367000},"page":"163-190","source":"Crossref","is-referenced-by-count":5,"title":["(Relational) programming laws in the boom hierarchy of types"],"prefix":"10.1007","author":[{"given":"Paul F.","family":"Hoogendijk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"13_CR1","unstructured":"R.C. Backhouse. An exploration of the Bird-Meertens formalism. Technical Report CS 8810, Department of Computing Science, Groningen University, 1988."},{"key":"13_CR2","unstructured":"R.C. Backhouse. Program construction and verification. Prentice-Hall, 1986."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Roland Backhouse and Paul Hoogendijk. Elements of a Relational Theory of Datatypes. To appear in: Proceedings of IFIP summerschool, Brazil 1992.","DOI":"10.1007\/3-540-57499-9_15"},{"key":"13_CR4","unstructured":"R.C. Backhouse, P. de Bruin, P. Hoogendijk, G. Malcolm, T.S. Voermans, and J. van der Woude. Polynomial relators. To appear in: Proceedings of the 2nd Conference on Algebraic Methodology and Software Technology, May 22\u201325, 1991."},{"key":"13_CR5","unstructured":"R.C. Backhouse, P. de Bruin, G. Malcolm, T.S. Voermans, and J van der Woude. Relational Catamorphisms. In M\u00f6ller B., editor, Proceedings of the IFIP TC2\/WG2.1 Working Conference on Constructing Programs, pages 287\u2013318. Elsevier Science Publishers B.V., 1991."},{"key":"13_CR6","unstructured":"R.C. Backhouse, T.S. Voermans, J. v.d. Woude. A Relational Theory Of Datatypes. Proceedings of the EURICS on Calculational Theories of Program Structure, Ameland, The Netherlands, September 1991."},{"issue":"8","key":"13_CR7","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"J. Backus. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM, 21(8):613\u2013641, 1978.","journal-title":"Communications of the ACM"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0167-6423(86)90023-7","volume":"6","author":"R.S. Bird","year":"1986","unstructured":"R.S. Bird. Transformational Programming and the Paragraph Problem. Science of Computing Programming, 6:159\u2013189, 1986.","journal-title":"Science of Computing Programming"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"R.S. Bird. An introduction to the Theory of Lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design. Springer-Verlag, 1987. NATO ASI Series, vol. F36.","DOI":"10.1007\/978-3-642-87374-4_1"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"R.S. Bird. Lectures on constructive functional programming. Oxford University, 1988.","DOI":"10.1007\/978-3-642-74884-4_5"},{"key":"13_CR11","volume-title":"Technical report","author":"R.S. Bird","year":"1988","unstructured":"R.S. Bird and J. Gibbons and G. Jones. Formal Derivation of a Pattern Matching Algorithm. Technical report, Programming Research Group, Oxford University, 11, Keble Road, Oxford, OX1 3QD, U.K., 1988."},{"key":"13_CR12","volume-title":"Technical report","author":"R.S. Bird","year":"1988","unstructured":"R.S. Bird. A Calculus of Functions for Program Derivation. Technical report, Programming Research Group, Oxford University, 11, Keble Road, Oxford, OX1 3QD, U.K., 1988."},{"key":"13_CR13","first-page":"451","volume-title":"Program Specification and Transformations","author":"R.S. Bird","year":"1987","unstructured":"R.S. Bird and L. Meertens. Two exercises found in a book on algorithmics. In L.G.L.T. Meertens, editor, Program Specification and Transformations, pages 451\u2013457. Elsevier Science Publishers B.V., North Holland, 1987."},{"key":"13_CR14","unstructured":"P. Chisholm. Calculation by Computer. In Third International Workshop Software Engineering and its Applications, pages 713\u2013728, Toulouse, France, December 3\u20137 1990. EC2."},{"key":"13_CR15","unstructured":"E.W. Dijkstra, W.H.J. Feijen. Een methode van programmeren. Academic Service, 1984."},{"issue":"2","key":"13_CR16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1002\/malq.19850310905","volume":"31","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. A couple of novelties in the propositional calculus. Zeitschr. fuer Math. Logik und Grundlagen der Math., 31(2):173\u2013178, 1985.","journal-title":"Zeitschr. fuer Math. Logik und Grundlagen der Math."},{"issue":"8","key":"13_CR17","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"C.A.R. Hoare et al. Laws of Programming. Communications of the ACM, 30(8):672\u2013686, 1987.","journal-title":"Communications of the ACM"},{"key":"13_CR18","unstructured":"P.F. Hoogendijk. A Hierarchy of Freebies. Proceedings of the EURICS on Calculational Theories of Program Structure, Ameland, The Netherlands, September 1991."},{"key":"13_CR19","unstructured":"P.F. Hoogendijk. The Boom hierarchy. Proceedings of the EURICS on Calculationai Theories of Program Structure, Ameland, The Netherlands, September 1991."},{"key":"13_CR20","volume-title":"A Programming Language","author":"K. Iverson","year":"1962","unstructured":"K. Iverson. A Programming Language. John Wiley & Sons New York, 1962."},{"key":"13_CR21","unstructured":"G. Malcolm. Algebraic data types and program transformation. PhD thesis, Groningen University, 1990."},{"key":"13_CR22","unstructured":"L. Meertens. Algprithmics \u2014 towards programming as a mathematical activity. In Proceedings of the CWI Symposium on Mathematics and Computer Science, pages 289\u2013334. North-Holland, 1986."},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"G. Schmidt and T. Str\u00f6hlein. Relationen und Grafen. Springer-Verlag, 1988.","DOI":"10.1007\/978-3-642-83608-4"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"E. Voermans, Pers as Types, Inductive Types and Types with Laws. To appear in: PHOENIX seminar and workshop on declarative programming, Sasbachwalden 1991. Workshops in computing, Springer-Verlag.","DOI":"10.1007\/978-1-4471-3794-8_18"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56625-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:51:26Z","timestamp":1742593886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56625-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566250","9783540476139"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-56625-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}