{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:15:43Z","timestamp":1725495343394},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540436133"},{"type":"electronic","value":"9783540477976"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47797-7_8","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T12:59:15Z","timestamp":1195045155000},"page":"282-309","source":"Crossref","is-referenced-by-count":2,"title":["Algebraic Methods for Optimization Problems"],"prefix":"10.1007","author":[{"given":"Richard","family":"Bird","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Gibbons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-Cheng","family":"Mu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,22]]},"reference":[{"key":"8_CR1","unstructured":"Roland Backhouse, Peter de Bruin, Grant Malcolm, Ed Voermans, and Jaap van der Woude. A relational theory of datatypes. In STOP 1992 Summerschool on Constructive Algorithmics. STOP project, 1992."},{"key":"8_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/3-540-57499-9_15","volume-title":"IFIP TC2\/WG2.1 State-of-the-Art Report on Formal Program Development","author":"R. Backhouse","year":"1993","unstructured":"Roland Backhouse and Paul Hoogendijk. Elements of a relational theory of datatypes. In Bernhard M\u00f6ller, Helmut Partsch, and Steve Schumann, editors, LNCS 755: IFIP TC2\/WG2.1 State-of-the-Art Report on Formal Program Development, pages 7\u201342. Springer-Verlag, 1993."},{"issue":"2\u20133","key":"8_CR3","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(86)90172-6","volume":"43","author":"R. Berghammer","year":"1986","unstructured":"R. Berghammer and H. Zierer. Relational algebraic semantics of deterministic and non-deterministic programs. Theoretical Computer Science, 43(2\u20133):123\u2013147, 1986.","journal-title":"Theoretical Computer Science"},{"key":"8_CR4","unstructured":"Richard Bird and Oege de Moor. Hybrid dynamic programming. Programming Research Group, Oxford, 1994."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Richard Bird and Oege de Moor. The Algebra of Programming. Prentice-Hall, 1996.","DOI":"10.1007\/978-3-642-61455-2_12"},{"issue":"4","key":"8_CR6","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1017\/S0956796897002803","volume":"7","author":"R. S. Bird","year":"1997","unstructured":"Richard S. Bird. On building trees with minimum height. Journal of Functional Programming, 7(4):441\u2013445, 1997.","journal-title":"Journal of Functional Programming"},{"key":"8_CR7","unstructured":"A. Bunkenburg. Expression Refinement. PhD thesis, Computing Science Department, University of Glasgow, 1997."},{"key":"8_CR8","unstructured":"Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. MIT Press, 1990."},{"key":"8_CR9","unstructured":"Sharon Curtis. A Relational Approach to Optimization Problems. PhD thesis, University of Oxford, 1996. Technical Monograph PRG-122."},{"key":"8_CR10","unstructured":"J. W. de Bakker and W. P. de Roever. A calculus for recursive program schemes. In M. Nivat, editor, Automata, Languages and Programming, pages 167\u2013196. North-Holland, 1973."},{"key":"8_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-45499-3_27","volume-title":"Algebraic Methodology and Software Technology","author":"O. Moor de","year":"2000","unstructured":"Oege de Moor and Jeremy Gibbons. Pointwise relational programming. In LNCS 1816: Algebraic Methodology and Software Technology, pages 371\u2013390, May 2000."},{"issue":"4","key":"8_CR12","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1016\/S0019-9958(67)90670-5","volume":"11","author":"S. Eilenberg","year":"1967","unstructured":"S. Eilenberg and J. B. Wright. Automata in general algebras. Information and Control, 11(4):452\u2013470, 1967.","journal-title":"Information and Control"},{"key":"8_CR13","unstructured":"Sharon Flynn. A Refinement Calculus for Expressions. PhD thesis, University of Glasgow, 1997."},{"key":"8_CR14","unstructured":"P. J. Freyd and A. \u0160\u010dedrov. Categories, Allegories. North-Holland, 1990."},{"key":"8_CR15","unstructured":"David Gries. The Science of Programming. Texts and Monographs in Computer Science. Springer-Verlag, 1981."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Eric C. R. Hehner. A Practical Theory of Programming. Texts and Monographs in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4419-8596-5"},{"key":"8_CR17","unstructured":"C. A. R. Hoare. Programs are predicates. In C. A. R. Hoare and J. C. Shepherdson, editors, Mathematical Logic and Programming Languages. Prentice-Hall, 1985. Also Chapter 20 of [18]."},{"key":"8_CR18","unstructured":"C. A. R. Hoare. Essays in Computing Science. Prentice Hall, 1989."},{"key":"8_CR19","unstructured":"Paul Hoogendijk. A Generic Theory of Datatypes. PhD thesis, Technische Universiteit Eindhoven, 1997."},{"key":"8_CR20","unstructured":"Simon Peyton Jones, John Hughes, Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Joseph Fasel, Kevin Hammond, Ralf Hinze, Paul Hudak, Thomas Johnsson, Mark Jones, John Launchbury, Erik Meijer, John Peterson, Alastair Reid, Colin Runciman, and Philip Wadler. Haskell 98: A non-strict, purely functional language. \n                  http:\/\/www.haskell.org\/onlinereport\n                  \n                , February 1999."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Bernhard Korte, Laszlo Lovasz, and Rainer Schrader. Greedoids. Springer-Verlag, 1991.","DOI":"10.1007\/978-3-642-58191-5"},{"key":"8_CR22","unstructured":"Robert A. Kowalski. Predicate logic as a programming language. In IFIP Congress, 1974."},{"key":"8_CR23","unstructured":"Ali Mili, Jules Desharnais, and Fatma Mili. Computer Program Construction. Oxford University Press, 1994."},{"key":"8_CR24","unstructured":"Bernhard M\u00f6ller. Relations as a program development language. In B. M\u00f6ller, editor, IFIP TC2\/WG2.1 Working Conference on Constructing Programs from Specifications, pages 373\u2013397. North-Holland, 1991."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Joseph M. Morris. Programming by expression refinement: The KMP algorithm. In W. H. J. Feijen, A. J. M. van Gasteren, D. Gries, and J. Misra, editors, Beauty is our Business, chapter 37. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4612-4476-9_38"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0020-0190(97)00023-9","volume":"61","author":"J. M. Morris","year":"1997","unstructured":"Joseph M. Morris. Non-deterministic expressions and predicate transformers. Information Processing Letters, 61:241\u2013246, 1997.","journal-title":"Information Processing Letters"},{"key":"8_CR27","unstructured":"Shin-Cheng Mu. Inverting Programs by Calculation. DPhil thesis, University of Oxford, in preparation."},{"key":"8_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-56625-2_18","volume-title":"Mathematics of Program Construction","author":"T. Norvell","year":"1993","unstructured":"Theo Norvell and Eric Hehner. Logical specifications for functional programs. In R. S. Bird, C. C. Morgan, and J. C. P. Woodcock, editors, LNCS 669: Mathematics of Program Construction, pages 269\u2013290. Springer-Verlag, 1993."},{"key":"8_CR29","unstructured":"Richard A. O\u2019Keefe. The Craft of Prolog. MIT Press, 1990."},{"issue":"3","key":"8_CR30","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Alfred Tarski. On the calculus of relations. Journal of Symbolic Logic, 6(3):73\u201389, 1941.","journal-title":"Journal of Symbolic Logic"},{"key":"8_CR31","unstructured":"Nigel Thomas Edgar Ward. A Refinement Calculus for Nondeterministiuc Expressions. PhD thesis, University of Queensland, February 1994."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Coalgebraic Methods in the Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47797-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T08:22:14Z","timestamp":1551082934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47797-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540436133","9783540477976"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-47797-7_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}