{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:37Z","timestamp":1725664297605},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601173"},{"type":"electronic","value":"9783540494454"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60117-1_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:43:25Z","timestamp":1330278205000},"page":"257-281","source":"Crossref","is-referenced-by-count":7,"title":["Program construction by parts"],"prefix":"10.1007","author":[{"given":"M.","family":"Frappier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Desharnais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"unstructured":"Alikacem, A., S.B.M. Sghaier, J. Desharnais, M. El Ouali, and F. Tchier. From Demonic Semantics to Loop Construction: A Relation Algebraic Approach. 3rd Maghrebian Conf. on Software Engineering and Artificial Intelligence, April 11\u201314, Rabat, Morocco (1994) 239\u2013248.","key":"15_CR1"},{"key":"15_CR2","volume-title":"A Relational Theory of Data Types","author":"R.C. Backhouse","year":"1992","unstructured":"Backhouse, R.C. et al. A Relational Theory of Data Types. Dept. of Math. and Comp. Sc., Eindhoven University of Technology, Netherlands, 1992."},{"key":"15_CR3","volume-title":"Demonic Operators and Monotype Factors","author":"R. C. Backhouse","year":"1993","unstructured":"Backhouse, R. C. and J. van der Woude. Demonic Operators and Monotype Factors. Dept. of Math. and Comp. Sc., Eindhoven University of Technology, Netherlands, 1993."},{"key":"15_CR4","volume-title":"Rapport de recherche DIUL-RR-9302","author":"N. Belkhiter","year":"1993","unstructured":"Belkhiter, N., S.B.M. Sghaier, J. Desharnais, F. Tchier, A. Jaoua, A. Mili, and N. Zaguia. Embedding a Demonic Semi-Lattice in a Relation Algebra. Rapport de recherche DIUL-RR-9302, D\u00e9partement d'Informatique, Universit\u00e9 Laval, Qu\u00e9bec, Canada, 1993."},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(86)90172-6","volume":"43","author":"R. Berghammer","year":"1986","unstructured":"Berghammer, R. and H. Zierer. Relational Algebraic Semantics of Deterministic and Nondeterministic Programs. Theoretical Computer Science 43 (1986) 123\u2013147.","journal-title":"Theoretical Computer Science"},{"unstructured":"Berghammer, R. Relational Specifications. In: C. Rauszer (editor), XXXVIII Banach Center Semesters on Algebraic mathods in Logic and their Computer Science Applications, 1991.","key":"15_CR6"},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1007\/BF01211474","volume":"4","author":"N. Boudriga","year":"1992","unstructured":"Boudriga, N., F. Elloumi, and A. Mili. On The Lattice of Specifications: Applications to a Specification Methodology. Formal Aspects of Computing 4 (1992) 544\u2013571.","journal-title":"Formal Aspects of Computing"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/0304-3975(93)90074-4","volume":"114","author":"J. Desharnais","year":"1993","unstructured":"J. Desharnais, A. Jaoua, F. Mili, N. Boudriga and A. Mili. A Relational Division Operator: The Conjugate Kernel. Theoretical Computer Science 114 (1993) 247\u2013272.","journal-title":"Theoretical Computer Science"},{"key":"15_CR9","volume-title":"Research Report DIUL-RR-9406","author":"J. Desharnais","year":"1994","unstructured":"J. Desharnais, F. Tchier and Ridha Kh\u00e9dri. Demonic Relational Semantics of Sequential Programs. Research Report DIUL-RR-9406, D\u00e9partement d'informatique, Universit\u00e9 Laval, Qu\u00e9bec City, Canada, 1994."},{"unstructured":"Dijkstra, E.W. A Discipline of Programming. Prentice Hall, 1976.","key":"15_CR10"},{"unstructured":"M. Frappier. A Relational Basis for Program Construction by Parts. Dept. of Computer Science, University of Ottawa, 1994.","key":"15_CR11"},{"doi-asserted-by":"crossref","unstructured":"Hehner, E.C.R. A Practical Theory of Programming. Springer Verlag, 1993.","key":"15_CR12","DOI":"10.1007\/978-1-4419-8596-5"},{"issue":"8","key":"15_CR13","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., I.J. Hayes, H. Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorenson, J.M. Spivey, and B.A. Sufrin. Laws of Programming. Communications of the ACM 30(8) (1987) 672\u2013686.","journal-title":"Communications of the ACM"},{"key":"15_CR14","volume-title":"LNCS 669","author":"G. Jones","year":"1993","unstructured":"Jones, G. and M. Sheeran. Designing Arithmetic Circuits by Refinement in Ruby. in Mathematics of program construction: second international conference. R.S. Bird, C.C. Morgan and J.C.P. Woodcock, eds, Oxford, 1992, LNCS 669, Springer-Verlag, 1993."},{"key":"15_CR15","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF00264277","volume":"20","author":"A. Mili","year":"1983","unstructured":"Mili, A. A Relational Approach to the Design of Deterministic Programs. Acta Informatica 20 (1983) 315\u2013328.","journal-title":"Acta Informatica"},{"issue":"11","key":"15_CR16","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.1002\/spe.4380161105","volume":"16","author":"A. Mili","year":"1986","unstructured":"Mili, A., Y. Qing, and W.X. Yang. A Relational Specification Methodology. Software-Practice and Experience, 16(11) (1986) 1003\u20131030.","journal-title":"Software-Practice and Experience"},{"key":"15_CR17","first-page":"373","volume-title":"Constructing Programs from Specifications","author":"B. M\u00f6ller","year":"1991","unstructured":"M\u00f6ller, B. Relations as a Program Development Language, In: M\u00f6ller, B, ed. Constructing Programs from Specifications. Proc. IFIP TC 2\/WG 2.1 Pacific Grove, CA, USA, May 13\u201316, North-Holland (1991) 373\u2013397."},{"doi-asserted-by":"crossref","unstructured":"Mills, H.D., V.R. Basili, J.D. Gannon and R.G. Hamlet. Principles of Computer Programming: A Mathematical Approach. Allyn and Bacon, 1987.","key":"15_CR18","DOI":"10.1145\/322917.322972"},{"unstructured":"Morgan, C. Programming from Specifications. Prentice Hall, 1990.","key":"15_CR19"},{"issue":"9","key":"15_CR20","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1145\/359588.359602","volume":"21","author":"G.J. Myers","year":"1978","unstructured":"Myers, G.J. A Controlled Experiment in Program Testing and Code Walkthroughs\/Inspections. CACM 21(9) (1978) 760\u2013768.","journal-title":"CACM"},{"issue":"3","key":"15_CR21","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/BF01946816","volume":"9","author":"P. Naur","year":"1969","unstructured":"Naur, P. Programming by Action Clusters. BIT 9(3) (1969) 250\u2013258.","journal-title":"BIT"},{"doi-asserted-by":"crossref","unstructured":"Schmidt, G. and T. Str\u00f6hlein. Relations and Graphs. Springer Verlag, 1993.","key":"15_CR22","DOI":"10.1007\/978-3-642-77968-8"},{"key":"15_CR23","volume-title":"LNCS 669","author":"E. Sekerinski","year":"1993","unstructured":"Sekerinski, E. A Calculus for Predicative Programming. in Mathematics of program construction: second international conference. R.S. Bird, C.C. Morgan and J.C.P. Woodcock, eds, Oxford, 1992, LNCS 669, Springer-Verlag, 1993."}],"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-60117-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:06Z","timestamp":1605646506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60117-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601173","9783540494454"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-60117-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}