{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:03:06Z","timestamp":1726408986522},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319247038"},{"type":"electronic","value":"9783319247045"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24704-5_11","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:31:29Z","timestamp":1443072689000},"page":"171-190","source":"Crossref","is-referenced-by-count":0,"title":["Metaphorisms in Programming"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 N.","family":"Oliveira","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"unstructured":"Bird, R., de Moor, O.: Algebra of Programming. Series in Computer Science. Prentice-Hall International (1997)","key":"11_CR1"},{"issue":"1\u20132","key":"11_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0304-3975(96)00154-5","volume":"179","author":"H. Doornbos","year":"1997","unstructured":"Doornbos, H., Backhouse, R., van der Woude, J.: A calculational approach to mathematical induction. TCS\u00a0179(1\u20132), 103\u2013135 (1997)","journal-title":"TCS"},{"unstructured":"Freyd, P.J., Scedrov, A.: Categories, Allegories. Mathematical Library, vol.\u00a039. North-Holland (1990)","key":"11_CR3"},{"issue":"5","key":"11_CR4","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/j.jlap.2008.08.007","volume":"78","author":"F. Henglein","year":"2009","unstructured":"Henglein, F.: What is a sorting function? J. Logic and Algebraic Programming (JLAP)\u00a078(5), 381\u2013401 (2009)","journal-title":"J. Logic and Algebraic Programming (JLAP)"},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1017\/S0956796800001623","volume":"6","author":"G. Hutton","year":"1996","unstructured":"Hutton, G., Meijer, E.: Back to basics: Deriving representation changers functionally. Journal of Functional Programming\u00a06(1), 181\u2013188 (1996)","journal-title":"Journal of Functional Programming"},{"unstructured":"Knuth, D.E.: The Art of Computer Programming, 2nd edn. Addison\/Wesley (1997\/1998); 3 volumes. First edition\u2019s dates: 1968 (volume 1), 1969 (volume 2) and 1973 (volume 3)","key":"11_CR6"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D. Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests. ACM Trans. Program. Lang. Syst.\u00a019(3), 427\u2013443 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR8","volume-title":"Metaphors we live by","author":"G. Lakoff","year":"1980","unstructured":"Lakoff, G., Johnson, M.: Metaphors we live by. University of Chicago Press, Chicago (1980)"},{"issue":"6","key":"11_CR9","first-page":"680","volume":"81","author":"S.-C. Mu","year":"2012","unstructured":"Mu, S.-C., Oliveira, J.N.: Programming from Galois connections. JLAP\u00a081(6), 680\u2013704 (2012)","journal-title":"JLAP"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-03153-3_5","volume-title":"Language Engineering and Rigorous Software Development","author":"J.N. Oliveira","year":"2009","unstructured":"Oliveira, J.N.: Extended Static Checking by Calculation using the Pointfree Transform. In: Bove, A., Barbosa, L.S., Pardo, A., Pinto, J.S. (eds.) LerNet 2008. LNCS, vol.\u00a05520, pp. 195\u2013251. Springer, Heidelberg (2009)"},{"unstructured":"Oliveira, J.N.: On the \u2018A\u2019 that links the \u2018M\u2019s of maths, music and maps. Contributed talk to the 2013 CEHUM Autumn Colloquium XV(Maths and Comp. Science Panel), U.\u00a0Minho, Braga, November 21-23 (2013)","key":"11_CR11"},{"issue":"2","key":"11_CR12","first-page":"249","volume":"83","author":"J.N. Oliveira","year":"2014","unstructured":"Oliveira, J.N.: A relation-algebraic approach to the \u201cHoare logic\u201d of functional dependencies. JLAP\u00a083(2), 249\u2013262 (2014)","journal-title":"JLAP"},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/TSE.2012.15","volume":"39","author":"J.N. Oliveira","year":"2013","unstructured":"Oliveira, J.N., Ferreira, M.A.: Alloy meets the algebra of programming: A case study. IEEE Trans. Soft. Eng.\u00a039(3), 305\u2013326 (2013)","journal-title":"IEEE Trans. Soft. Eng."},{"unstructured":"Richards, I.A.: The Philosophy of Rhetoric. Oxford University Press (1936)","key":"11_CR14"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/3-540-57499-9_26","volume-title":"Formal Program Development","author":"D. Swierstra","year":"1993","unstructured":"Swierstra, D., de Moor, O.: Virtual data structures. In: M\u00f6ller, B., Partsch, H., Schuman, S. (eds.) Formal Program Development. LNCS, vol.\u00a0755, pp. 355\u2013371. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24704-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T01:32:38Z","timestamp":1559266358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24704-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319247038","9783319247045"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24704-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}