{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:03:33Z","timestamp":1725667413124},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183846"},{"type":"electronic","value":"9783642466205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-46620-5_15","type":"book-chapter","created":{"date-parts":[[2012,3,9]],"date-time":"2012-03-09T10:00:26Z","timestamp":1331287226000},"page":"157-167","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of Specifications from Programs"],"prefix":"10.1007","author":[{"given":"N.","family":"Tareb","sequence":"first","affiliation":[]},{"given":"Y.","family":"Kodratoff","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Bidoit, M. (1982): Une M\u00e8thode de Pr\u00e8sentation des Types Abstraits : Applications, Th\u00e9se 3eme cycie, Universit\u00e8 de Paris-Sud, Orsay, France, 1982.","key":"15_CR1"},{"key":"15_CR2","first-page":"1985","volume-title":"Une Formalisation des Structures de Contr\u00f4le de PROLOG, Th\u00e8se de Docteur en Informatique","author":"M Billaud","year":"1985","unstructured":"Billaud, M. (1985): Une Formalisation des Structures de Contr\u00f4le de PROLOG, Th\u00e8se de Docteur en Informatique, Universit\u00e9 de Bordeaux I, Jan 1985."},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"1984","DOI":"10.1007\/978-3-642-96873-0","volume-title":"Programming in PROLOG","author":"WF Clocksin","year":"1984","unstructured":"Clocksin, W. F., Mellish, C. S. (1984): Programming in PROLOG, Springer-Verlag Berlin Heidelberg New York Tokyo, Second Edition 1984."},{"key":"15_CR4","first-page":"114","volume-title":"Equations as programming Language, Proceedings Jerusalem Conference on Information Technology","author":"N Dershowitz","year":"1984","unstructured":"Dershowitz, N. (1984): Equations as programming Language, Proceedings Jerusalem Conference on Information Technology, May 1984, Jerusalem, Israel, pp. 114\u2013124."},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"RW Floyd","year":"1967","unstructured":"Floyd, R. W. (1967): Assigning Meaning to Programs, Proc. Symp. in Applied Mathematics, V 19, 1967, pp. 19\u201332.","journal-title":"Proc. Symp. in Applied Mathematics"},{"unstructured":"Franova, M. (1985): CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs, in: Joshi, A. (ed.), Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, August 1985, pp. 1214\u20131220","key":"15_CR6"},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"10","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C. A. R. (1969): An Axiomatic Basis for Computer Programming, CACM V12, # 10, October 1969, pp. 576\u2013583.","journal-title":"CACM V12, #"},{"key":"15_CR8","first-page":"263","volume-title":"Simple Word Problems in Universal Algebras, Computational Problems in Abstract Algebra","author":"DE Knuth","year":"1969","unstructured":"Knuth, D. E., Bendix P. B. (1969): Simple Word Problems in Universal Algebras, Computational Problems in Abstract Algebra, Ed. J. Leech, Pergamon Press, Oxford, pp. 263\u2013297, 1969."},{"key":"15_CR9","first-page":"68","volume-title":"Compl\u00e9tion de Syst\u00e8mes de R\u00e9\u00e9criture et Synth\u00e8se de programmes \u00e0 partir de leurs sp\u00e9cifications, in: Actes des journ\u00e9es Bigre","author":"Y Kodratoff","year":"1983","unstructured":"Kodratoff, Y., Picard, M. (1983): Compl\u00e9tion de Syst\u00e8mes de R\u00e9\u00e9criture et Synth\u00e8se de programmes \u00e0 partir de leurs sp\u00e9cifications, in: Actes des journ\u00e9es Bigre, France, Cap-d\u2019Adge, October 1983, pp. 68\u201383"},{"key":"15_CR10","volume-title":"A Deductive Approach to Program Synthesis in: ACM TOPLAS","author":"Z Manna","year":"1980","unstructured":"Manna, Z., Waldinger, R. (1980): A Deductive Approach to Program Synthesis in: ACM TOPLAS, V 2, # 1, January 1980, pp. 90\u2013121."},{"key":"15_CR11","first-page":"265","volume":"1987","author":"N Tareb","year":"1987","unstructured":"Tareb, N., Kodratoff, Y. (1987): Synth\u00e8se de Sp\u00e9cifications \u00e0 partir de Programmes, Proc. of S\u00e9minaire sur la Programmation Logique, Lannion, 19\u201321 May 1987, pp. 265\u2013283.","journal-title":"Lannion"}],"container-title":["Informatik-Fachberichte","3. \u00d6sterreichische Artificial-Intelligence-Tagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-46620-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:42:31Z","timestamp":1620135751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-46620-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183846","9783642466205"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-46620-5_15","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}