{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:45Z","timestamp":1725663105074},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151982"},{"type":"electronic","value":"9783540393023"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15198-2_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:10:59Z","timestamp":1330193459000},"page":"403-415","source":"Crossref","is-referenced-by-count":1,"title":["A LISP compiler for FP language and its proof via algebraic semantics"],"prefix":"10.1007","author":[{"given":"C.","family":"Choppy","sequence":"first","affiliation":[]},{"given":"G.","family":"Guiho","sequence":"additional","affiliation":[]},{"given":"S.","family":"Kaplan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"26_CR1","unstructured":"Goguen, J.A., J.W. Thatcher and E.G. Wagner, An initial algebra approach to the specification, correctness, and implementation of abstract data types, in Current Trends in Programming Methodology, vol. IV Data Structuring, R. Yeh ed., Prentice-Hall, 1978."},{"volume-title":"Winnie: un editeur de textes multifenetres extensible","year":"1983","author":"P. Amar","key":"26_CR2","unstructured":"Amar, P., Winnie: un editeur de textes multifenetres extensible, Actes des Journees BIGRE, Le Cap d'Agde, France, 1983."},{"issue":"8","key":"26_CR3","first-page":"613","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J., Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, C.A.C.M., 21, 8, pp. 613\u2013639, August 1978.","journal-title":"A functional style and its algebra of programs, C.A.C.M."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Backus, J., The algebra of functional programs: function level reasoning, linear equations and extended definitions, Proc. Int. Coll. on the Formalization of programming concepts, L.N.C.S. No 107, Peniscola, 1981.","DOI":"10.1007\/3-540-10699-5_91"},{"volume-title":"Function level programs as mathematical objects, Proc. of the 1981 Conf. on Functional Programming Languages and Computer Architecture","year":"1981","author":"J. Backus","key":"26_CR5","unstructured":"Backus, J., Function level programs as mathematical objects, Proc. of the 1981 Conf. on Functional Programming Languages and Computer Architecture, Wentworth-by-the-Sea, New Hampshire, October 1981."},{"key":"26_CR6","unstructured":"Bidoit, M., Une m\u00e9thode de pr\u00e9sentation des types abstraits: applications, Th\u00e8se de 3 eme cycle, Universit\u00e9 Paris-Sud, Juin 1981."},{"key":"26_CR7","unstructured":"Broy, M., M. Wirsing, Algebraic definitions of a functional programming language and its semantical models, Institute fur Informatik der TU"},{"key":"26_CR8","unstructured":"Choppy, C., G. Guiho, S. Kaplan, Algebraic semantics for FP langguages, a lisp compiler and its proof, Rapport LRI No 133, Orsay, 1983."},{"key":"26_CR9","unstructured":"Gaudel, M.C., G\u00e9n\u00e9ration et preuve de compilateurs bas\u00e9es sur une s\u00e9mantique formelle des langages de programmation, Th\u00e8se d'Etat, Nancy, 1980."},{"key":"26_CR10","unstructured":"Goguen, J.A., J.J. Tardo, An introduction to OBJ: a language for writing and testing formal algebraic program specifications, Specifications of Reliable Software Conf. Proc., Cambridge MA, April 1979."},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. Guttag","year":"1978","unstructured":"Guttag, J., J. Horning, The algebraic specification of abstract data types, Acta Informatica, 10, pp. 27\u201352, 1978.","journal-title":"Acta Informatica"},{"volume-title":"Proc. of the 1981 Conf. on Functional Programming Languages and Computer Architecture","year":"1981","author":"J. Guttag","key":"26_CR12","unstructured":"Guttag, J., J. Horning, and J. Williams, FP with data abstraction and strong typing, Proc. of the 1981 Conf. on Functional Programming Languages and Computer Architecture, Wentworth-by-the-Sea, New Hampshire, October 1981."},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Huet, G., J.M. Hullot, Proof by induction in equational theories with constructors, 21st IEEE Symp. on Foundations of Computer Science, 1980.","DOI":"10.1109\/SFCS.1980.37"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Kamin, S., Final data type specifications: a new data type specification method, 7th ACM Symp. on Principles of Programmong Languages, Las Vegas, 1980.","DOI":"10.1145\/567446.567459"},{"key":"26_CR15","unstructured":"Kaplan, S., Un langage de sp\u00e9cification de types abstraits alg\u00e9briques, Th\u00e8se de 3 eme cycle, Orsay, F\u00e9vrier 1983."},{"key":"26_CR16","unstructured":"Manna, Z., Mathematical theory of computation, Mc Graw Hill, 1974."},{"key":"26_CR17","unstructured":"Voisin, F., CIGALE: Construction Interactive de Grammaire et Analyse Lib\u00e9rale d'expressions, Th\u00e8se de 3 eme cycle, Universit\u00e9 d'Orsay, France."},{"volume-title":"On the development of the algebra of functional programs, Report RJ2983","year":"1980","author":"J. H. Williams","key":"26_CR18","unstructured":"Williams, J.H., On the development of the algebra of functional programs, Report RJ2983, I.B.M. Research Laboratory, San Jose, 1980."},{"key":"26_CR19","unstructured":"Williams, J.H., Notes on the FP style of functional programming, Lecture Notes for the Course \"FP and its applications\", Newcastle-upon-Tyne, July 1981."},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"Wirsing, M., M. Broy, An analysis of semantic models for algebraic specifications, Marktoberdof Summer School on Theor. Found. of Progr. Methodology, 1981.","DOI":"10.1007\/978-94-009-7893-5_12"},{"key":"26_CR21","unstructured":"Zilles, S.N., An introduction to data algebras, L.N.C.S. No 86, Springer Verlag, 1979."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15198-2_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:05Z","timestamp":1605643685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15198-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151982","9783540393023"],"references-count":21,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-15198-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}