{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:05:17Z","timestamp":1725584717452},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642210693"},{"type":"electronic","value":"9783642210709"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21070-9_22","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T00:02:27Z","timestamp":1307404947000},"page":"294-313","source":"Crossref","is-referenced-by-count":4,"title":["Programming from Galois Connections"],"prefix":"10.1007","author":[{"given":"Shin-Cheng","family":"Mu","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Nuno","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Aarts, C., Backhouse, R., Hoogendijk, P., Voermans, E., van\u00a0der Woude, J.: A relational theory of datatypes (December 1992), http:\/\/www.cs.nott.ac.uk\/~rcb","DOI":"10.1007\/3-540-57499-9_15"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-47797-7_4","volume-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction","author":"R. Backhouse","year":"2002","unstructured":"Backhouse, R.: Chapter 4 Galois connections and fixed point calculus. In: Blackhouse, R., Crole, R.L., Gibbons, J. (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS, vol.\u00a02297, pp. 89\u2013148. Springer, Heidelberg (2002)"},{"key":"22_CR3","volume-title":"Program Construction: Calculating Implementations from Specifications","author":"R. Backhouse","year":"2003","unstructured":"Backhouse, R.: Program Construction: Calculating Implementations from Specifications. John Wiley & Sons, Inc., New York (2003)"},{"key":"22_CR4","series-title":"Series in Computer Science.International C.A.R. Hoare, series editor","volume-title":"Algebra of Programming","author":"R. Bird","year":"1997","unstructured":"Bird, R., de Moor, O.: Algebra of Programming. Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1997) C.A.R. Hoare, series editor"},{"key":"22_CR5","volume-title":"A Discipline of Programming","author":"E. Dijkstra","year":"1976","unstructured":"Dijkstra, E.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"issue":"1-2","key":"22_CR6","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. Theor. Comp. Science\u00a0179(1-2), 103\u2013135 (1997)","journal-title":"Theor. Comp. Science"},{"key":"22_CR7","unstructured":"Ferreira, M., Oliveira, J.: Variations on an Alloy-centric tool-chain in verifying a journaled file system model. Technical Report DI-CCTC-10-07, Univ. of Minho (January 2010)"},{"key":"22_CR8","volume-title":"Categories, Allegories, Mathematical Library","author":"P. Freyd","year":"1990","unstructured":"Freyd, P., Scedrov, A.: Categories, Allegories, Mathematical Library, vol.\u00a039. North-Holland, Amsterdam (1990)"},{"key":"22_CR9","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis, 9th edn. The MIT Press, Cambridge (2006) ISBN 0-262-10114-9","edition":"9"},{"key":"22_CR10","volume-title":"Software Development \u2014 A Rigorous Approach","author":"C. Jones","year":"1980","unstructured":"Jones, C.: Software Development \u2014 A Rigorous Approach. Prentice-Hall International, Englewood Cliffs (1980)"},{"key":"22_CR11","volume-title":"The Art of Computer Programming","author":"D. Knuth","year":"1997","unstructured":"Knuth, D.: The Art of Computer Programming, 2nd edn. Addison\/Wesley, Amsterdam (1997)","edition":"2"},{"issue":"4","key":"22_CR12","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1232743.1232745","volume":"50","author":"J. Kramer","year":"2007","unstructured":"Kramer, J.: Is abstraction the key to computing? Commun. ACM\u00a050(4), 37\u201342 (2007)","journal-title":"Commun. ACM"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-17162-2_130","volume-title":"Category Theory and Computer Programming","author":"A. Melton","year":"1986","unstructured":"Melton, A., Schmidt, D.A., Strecker, G.E.: Galois connections and computer science applications. In: Poign\u00e9, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol.\u00a0240, pp. 299\u2013312. Springer, Heidelberg (1986)"},{"key":"22_CR14","unstructured":"Mu, S.C., Oliveira, J.: Programming from Galois Connections \u2014 Principles and Applications. Tech. Report TR-IIS-10-009, Academia Sinica (December 2010)"},{"key":"22_CR15","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. Oliveira","year":"2009","unstructured":"Oliveira, J.: Extended static checking by calculation using the pointfree transform. In: Bove, A., Barbosa, L.S., Pardo, A., Pinto, J.S. (eds.) Language Engineering and Rigorous Software Development. LNCS, vol.\u00a05520, pp. 195\u2013251. Springer, Heidelberg (2009)"},{"key":"22_CR16","unstructured":"Oliveira, J.: A Look at Program \u201cGalculation\u201d. Presentation at the IFIP WG 2.1 #65 Meeting (January 2010)"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/11813040_17","volume-title":"FM 2006: Formal Methods","author":"J.N. Oliveira","year":"2006","unstructured":"Oliveira, J.N., Rodrigues, C.J.: Pointfree factorization of operation refinement. In: Misra, J., Nipkow, T., Karakostas, G. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 236\u2013251. Springer, Heidelberg (2006)"},{"key":"22_CR18","first-page":"44","volume-title":"PPDP 2008","author":"P. Silva","year":"2008","unstructured":"Silva, P., Oliveira, J.: \u2018Galculator\u2019: functional prototype of a Galois-connection based proof assistant. In: PPDP 2008, pp. 44\u201355. ACM, New York (2008)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Tarski, A., Givant, S.: A Formalization of Set Theory without Variables, vol.\u00a041. A. M. Society, AMS Colloquium Publications (1987)","DOI":"10.1090\/coll\/041"},{"key":"22_CR20","volume-title":"Principles of Database Systems","author":"J. Ullman","year":"1981","unstructured":"Ullman, J.: Principles of Database Systems. Computer Science Press, Rockville (1981)"},{"key":"22_CR21","volume-title":"Algorithms + Data Structures = Programs","author":"N. Wirth","year":"1976","unstructured":"Wirth, N.: Algorithms + Data Structures = Programs. Prentice-Hall, Englewood Cliffs (1976)"}],"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-642-21070-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T09:07:36Z","timestamp":1560244056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21070-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210693","9783642210709"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21070-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}