{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:33Z","timestamp":1725663273472},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083535"},{"type":"electronic","value":"9783540372851"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08353-7_161","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:24:58Z","timestamp":1330187098000},"page":"398-409","source":"Crossref","is-referenced-by-count":1,"title":["A calculus to build up correct programs"],"prefix":"10.1007","author":[{"given":"P. A.","family":"Miglioli","sequence":"first","affiliation":[]},{"given":"M.","family":"Ornaghi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"Burstall, R.M. and Darlington, J., Some transformations for developing recursive programs. Proc. of 1975 International Conference on Reliable Software, Los Angeles.","DOI":"10.1145\/800027.808470"},{"key":"39_CR2","volume-title":"Symbolic logic and mechanical theorem proving","author":"C. L. Chang","year":"1973","unstructured":"Chang, C.L. and Lee, R.C.T., Symbolic logic and mechanical theorem proving, Academic Press Inc., New Jork 1973."},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Chang, C.L., Lee, R.C.T. and Waldinger, R.J., An improved program-synthesizing algorithm and its correctness. Com. ACM, vol.17; n.4, 1974.","DOI":"10.1145\/360924.360967"},{"key":"39_CR4","unstructured":"Constable, R.L., Constructive mathematics and automatic program writers. IFIP Congress 1971, North Holland, Amsterdam."},{"key":"39_CR5","unstructured":"Darlington, J., Application of program tarnsformation to program synthesis. Proc. of International Symposium on Proving and Improving Programs, Arc et Senans, France."},{"key":"39_CR6","unstructured":"Degli Antoni, G., Miglioli, P.A., and Ornaghi, M., The synthesis of programs as an approach to the construction of reliable programs. Proc. of International Symposium on Proving and Improving Programs, Arc et Senans, France, 1975."},{"key":"39_CR7","unstructured":"Dershowitz, N. and Manna, Z., On automating structured programming. Proc. of International Symposium on Proving and Improving Programs, Arc et Senans, France, 1975."},{"key":"39_CR8","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W., Guarded commands, nondeterminacy and formal derivation of programs. Comm. of the ACM, vol 18, n.8.","DOI":"10.1145\/360933.360975"},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., An axiomatic basis of computer programming. Com of the ACM, vol.12, n.10, 1969.","DOI":"10.1145\/363235.363259"},{"key":"39_CR10","volume-title":"Introduction to methamatematics","author":"S. C. Kleene","year":"1950","unstructured":"Kleene, S.C., Introduction to methamatematics, North Holland, Amsterdam 1950."},{"key":"39_CR11","unstructured":"Kowalski, R., Predicate logic as a programming language. Proc. IFIP 1974."},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"Manna, Z., The correctness of programs. J. of Comp. and System Science, 3, 1969.","DOI":"10.1016\/S0022-0000(69)80009-7"},{"key":"39_CR13","unstructured":"Miglioli,P. and Ornaghi,M., Notes on motivation languages and synthesis maps. Internal report of the Instituto di Cibernetica dell'Universit\u00e0 di Milano, Via Viotti, 5 Milano (1976), available."},{"key":"39_CR14","unstructured":"Miglioli,M. and Ornaghi,M., A purely logical computing model: the open proofs as programs. Internal report of the Istituto di Cibernetica \u2014 Universit\u00e0 di Milano, Via Viotti, 5 Milano (1977), available (presented at the Workshop on Artificial Intelligence, Bad Honnef 1977, Germany)."},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Ideas and results in proof-theory. Proc. of the second scandinavian logic symposium, North Holland, Amsterdam.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"39_CR16","unstructured":"Degli Antoni,G., Miglioli, P. and Ornaghi,M., Procedure per la sintesi di programmi. To appear in Informatica."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1977"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08353-7_161.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:24Z","timestamp":1605643164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_161"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_161","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}