{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:33Z","timestamp":1725456993431},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540528261"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0032020","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T01:05:31Z","timestamp":1134263131000},"page":"32-45","source":"Crossref","is-referenced-by-count":0,"title":["Static correctness of hierarchical procedures"],"prefix":"10.1007","author":[{"given":"Michael I.","family":"Schwartzbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Cardelli, Luca \u201cAmber.\u201d Proceedings of the Treizieme Ecole de Printemps d'Informatique Theorique, May 1985.","key":"4_CR1"},{"doi-asserted-by":"crossref","unstructured":"Cardelli, Luca & Wegner, Peter \u201cOn Understanding Types, Data Abstraction, and Polymorphism\u201d in Computing Surveys, Vol 17 No 4, ACM 1985.","key":"4_CR2","DOI":"10.1145\/6041.6042"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BF01744293","volume":"13","author":"C. Bruno","year":"1979","unstructured":"Courcelle, Bruno \u201cInfinite Trees in Normal Form and Recursive Equations Having a Unique Solution\u201d in Mathematical Systems Theory 13, 131\u2013180. Springer-Verlag 1979.","journal-title":"Mathematical Systems Theory"},{"doi-asserted-by":"crossref","unstructured":"Courcelle, Bruno \u201cFundamental Properties of Infinite Trees\u201d in Theoretical Computer Science Vol 25 No 1, North-Holland 1983.","key":"4_CR4","DOI":"10.1016\/0304-3975(83)90059-2"},{"doi-asserted-by":"crossref","unstructured":"Reynolds, J.C. \u201cThree approaches to type structure.\u201d, In Mathematical Foundations of Software Development, LNCS Vol 185, Springer-Verlag 1985.","key":"4_CR5","DOI":"10.1007\/3-540-15198-2_7"},{"doi-asserted-by":"crossref","unstructured":"Schmidt, Erik M. & Schwartzbach, Michael I. \u201cAn Imperative Type Hierarchy with Partial Products\u201d in Proceedings of MFCS'89, LNCS Vol 379, Springer-Verlag 1989.","key":"4_CR6","DOI":"10.1007\/3-540-51486-4_92"},{"doi-asserted-by":"crossref","unstructured":"Schwartzbach, Michael I. \u201cInfinite Values in Hierarchical Imperative Types\u201d in Proceedings of CAAP'90, LNCS, Springer-Verlag 1990.","key":"4_CR7","DOI":"10.1007\/3-540-52590-4_53"},{"unstructured":"Schwartzbach, Michael I. & Schmidt, Erik M. \u201cTypes and Automata\u201d, In preparation.","key":"4_CR8"},{"doi-asserted-by":"crossref","unstructured":"Wirth, Niklaus \u201cType Extensions.\u201d, In Transactions on Programming Languages and Systems Vol 10 No 2, ACM 1988.","key":"4_CR9","DOI":"10.1145\/42190.46167"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0032020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:19:52Z","timestamp":1683307192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540528261"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0032020","relation":{},"subject":[]}}