{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:51Z","timestamp":1725662871345},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129257"},{"type":"electronic","value":"9783540388098"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-12925-1_39","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:00:12Z","timestamp":1330174812000},"page":"191-205","source":"Crossref","is-referenced-by-count":3,"title":["Un systeme d'aide a la preuve de compilateurs"],"prefix":"10.1007","author":[{"given":"E.","family":"Madelaine","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"17_CR1","unstructured":"C. BENOIT: \"Axiomatisation des tests et syst\u00e8mes completes de preuve.\" Th\u00e8se de S\u00e8me cycle, LITP, Universit\u00e9 de Paris-7, 1983."},{"key":"17_CR2","unstructured":"M.BIDOIT, M.C. GAUDEL: \"Etude des m\u00e9thodes de sp\u00e9cification des cas d'exceptions dans les types abstraits alg\u00e9briques.\" CGE, Laboratoires de Marcousis, D\u00e9cembre 1982."},{"key":"17_CR3","unstructured":"M.BROY, C.PAIR, M.WIRSING: \"A systematic study of models of abstract data types.\" Nancy, 1981."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"M.BROY, M.WIRSING: \"Pertial abstract types.\" Acta informatica No 18, 1982.","DOI":"10.1007\/BF00625280"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Ph.DESCHAMP: \"Perluette: a compiler's producing system using abstract data types.\" 5th Intern. Symp. on Programming, LNCS 137, Turin, Avril 1982.","DOI":"10.1007\/3-540-11494-7_6"},{"key":"17_CR6","unstructured":"J.DESPEYROUX: \"Une s\u00e9mantique alg\u00e9brique de Pascal et application \u00e0 la sp\u00e9cification d'un compilateur Pascal-P-code.\" Th\u00e8se de 3\u00e8me cycle, Universit\u00e9 Paris-Sud, Novembre 1982."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"H.D.EHRICH: \"On the theory of specification, implementation and parametrization of abstract data types.\" Rapport technique, Forschungsbericht, Dortmund, 1978 et JACM 29, 1982.","DOI":"10.1145\/322290.322303"},{"key":"17_CR8","volume-title":"Parameter passing commutes with implementation of parameterized data types","author":"H. D. Ehrig","year":"1982","unstructured":"H.D. EHRIG, H.J. KREOWSKY: \"Parameter passing commutes with implementation of parameterized data types.\" Proc. 9th ICALP, Aarhus, Danemark, 1982."},{"key":"17_CR9","unstructured":"H.D.EHRIG, H.J.KREOWSKY, B.MAHR, P.PADAWITZ: \"Algebraic implementation for abstract data types.\" Theorical Computer Science."},{"key":"17_CR10","unstructured":"M.C.GAUDEL: \"G\u00e9n\u00e9ration et preuve des compilateurs bas\u00e9es sur une s\u00e9mantique formelle des langages de programmation.\" Th\u00e8se d'\u00e9tat, INPL, Nancy, 1980."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"J.V.GUTTAG, J.J.HORNING: \"The algebraic specification of abstract data types.\" Acta informatica 10, No.1, 1978.","DOI":"10.1007\/BF00260922"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"J.V.GUTTAG: \"Abstract data types and the development of data structures.\" CACM, Vol.20, No.6, 1977.","DOI":"10.1145\/359605.359618"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"E.MADELAINE: \"Un syst\u00e8me d'aide \u00e0 la preuve de compilateurs.\" Th\u00e8se de S\u00e8me cycle, INRIA-Paris 7, Septembre 1983.","DOI":"10.1007\/3-540-12925-1_39"},{"key":"17_CR14","unstructured":"L.PAULSON: \"Recent developpement in LCF: examples of structural induction.\" Rapport No34, Universit\u00e9 de Cambridge, Janvier 1983."},{"key":"17_CR15","unstructured":"L.PAULSON: \"Rewriting in Cambridge LCF.\" Rapport No35, Universit\u00e9 de Cambridge, F\u00e8vrier 1983."},{"key":"17_CR16","unstructured":"D.A.PLAISTED: \"An initial algebra semantics for error presentation.\" Avril 1982."},{"key":"17_CR17","volume-title":"Implementation of parameterized specifications","author":"D. Sanella","year":"1982","unstructured":"D. SANELLA, M. WIRSING: \"Implementation of parameterized specifications.\" Proc. 9th ICALP, Aarhus, Danemark, 1982."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"M.WIRSING, M.BROY: \"Abstract data types as lattices of finitely generated models.\" 9th MFCS, LNCS 88, Berlin, 1980.","DOI":"10.1007\/BFb0022542"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"M.WIRSING, M.BROY: \"An analysis of semantic models for algebraic specifications\". Int. summer school on the theorical foundations of prog. methodology. Marktoberdorf, 1981.","DOI":"10.1007\/978-94-009-7893-5_12"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12925-1_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:06:55Z","timestamp":1605625615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12925-1_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129257","9783540388098"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-12925-1_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}