{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:37Z","timestamp":1725662917847},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164449"},{"type":"electronic","value":"9783540397847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16444-8_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:41:47Z","timestamp":1330177307000},"page":"194-200","source":"Crossref","is-referenced-by-count":0,"title":["The algorithmic specification method of abstract data types: An overview"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Loeckx","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy, M., Wirsing, M., Partial abstract types, Acta Inform. 18 (1982), 47\u201364","journal-title":"Acta Inform."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Cartwright, R., A constructive alternative to abstract data type definitions, Proc. 1980 LISP Conf., Stanford Univ. (1980), 46\u201355","DOI":"10.1145\/800087.802789"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B., Fundamentals of Algebraic Specification, Springer-Verlag, 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J.V. Guttag","year":"1978","unstructured":"Guttag, J.V., Horowitz, E., Musser, D.R., Abstract data types and software validation. Comm. ACM 21 (Dec. 1978), 1048\u20131069","journal-title":"Comm. ACM"},{"key":"16_CR5","unstructured":"Goguen, J.A., Meseguer, J., Initiality, Induction and Computability, SRI-CSL Techn. Rep. 140, Stanford Research Institute, December 1983"},{"key":"16_CR6","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., An initial algebra approach to the specification, correctness and implementation of abstract data types. Current Trends in Programming Methodology IV (Yeh, R., Ed.), Prentice-Hall, 1978, 80\u2013149"},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(84)90062-8","volume":"30","author":"H.A. Klaeren","year":"1984","unstructured":"Klaeren, H.A., A constructive method for abstract algebraic software specification, Theor. Comp. Sc. 30, 139\u2013204 (1984)","journal-title":"Theor. Comp. Sc."},{"key":"16_CR8","unstructured":"Lermen, C.W., OBSCURE, a specification language for algorithmic specifications, Intern. Rep., FR 10.2, Univ. Saarbr\u00fccken (in preparation)"},{"key":"16_CR9","unstructured":"Liskov, B., et al, CLU Reference Manual, LNCS 114, 1981"},{"key":"16_CR10","unstructured":"Loeckx, J., Proving properties of algorithmic specifications of abstract data types in AFFIRM. AFFIRM-Memo-29-JL, USC-ISI, Marina del Rey, 1980"},{"key":"16_CR11","first-page":"129","volume":"115","author":"J. Loeckx","year":"1981","unstructured":"Loeckx, J., Algorithmic specifications of abstract data types, Proc. ICALP 81, LNCS 115 (1981), 129\u2013147","journal-title":"Proc. ICALP 81, LNCS"},{"key":"16_CR12","unstructured":"Loeckx, J., Using abstract data types for the definition of programming languages and the verification of their compilers, Int. Rep. A 81\/13, FB 10, Univ. Saarbr\u00fccken (1981)"},{"key":"16_CR13","unstructured":"Loeckx, J., Algorithmic specifications: A constructive specification method for abstract data types, to appear in TOPLAS"},{"key":"16_CR14","volume-title":"The Foundations of Program Verification","author":"J. Loeckx","year":"1984","unstructured":"Loeckx, J., Sieber, K., The Foundations of Program Verification, J. Wiley\/Teubner-Verlag, New York\/Stuttgart (1984)"},{"key":"16_CR15","unstructured":"Manna, Z., Mathematical Theory of Computation, McGraw-Hill (1974)"},{"key":"16_CR16","first-page":"1","volume":"7","author":"R. Milner","year":"1972","unstructured":"Milner, R., Implementation and application of Scott's logic for computable functions. Proc. ACM Conf. on Proving Assertions about Programs, SIGPLAN Notices 7 (Jan. 1972), 1\u20136","journal-title":"Proc. ACM Conf. on Proving Assertions about Programs, SIGPLAN Notices"},{"key":"16_CR17","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TSE.1980.230459","volume":"SE-6","author":"D.R. Musser","year":"1980","unstructured":"Musser, D.R., Abstract data type specification in the AFFIRM System. IEEE Trans. on Softw. Eng. SE-6 (1980), 24\u201332","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Nakajima, R., Yuasa, T., The IOTA Programming System, LNCS 160, 1983","DOI":"10.1007\/3-540-12693-7"},{"key":"16_CR19","first-page":"460","volume":"88","author":"H. Reichel","year":"1980","unstructured":"Reichel, H., Initially-restricting algebraic theories, Proc. 9th FCS, LNCS 88, 460\u2013473 (1980)","journal-title":"Proc. 9th FCS, LNCS"},{"issue":"5","key":"16_CR20","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/BF00271641","volume":"21","author":"D. Sannella","year":"1984","unstructured":"Sannella, D., A set-theoretic semantics for CLEAR, Acta Inform. 21, 5, 443\u2013472 (1984)","journal-title":"Acta Inform."},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Shaw, M. (ed.), ALPHARD, Form and Content, Springer-Verlag, 1981","DOI":"10.1007\/978-1-4612-5979-4"},{"key":"16_CR22","unstructured":"Thompson, D.H. (Ed.), AFFIRM Reference Manual. Internal Report, USC-ISI, Marina del Rey (1979)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Methods of Specification and Synthesis of Software Systems '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16444-8_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:10:11Z","timestamp":1605625811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16444-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164449","9783540397847"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-16444-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}