{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:10:50Z","timestamp":1725718250030},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108849"},{"type":"electronic","value":"9783662010891"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-662-01089-1_12","type":"book-chapter","created":{"date-parts":[[2013,3,4]],"date-time":"2013-03-04T10:08:56Z","timestamp":1362391736000},"page":"96-108","source":"Crossref","is-referenced-by-count":1,"title":["Implementations of abstract data types and their verification"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Loeckx","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"80","volume-title":"Current Trends in Programming Methodology IV","author":"JA Goguen","year":"1978","unstructured":"J. A. Goguen, J. W. Thatcher, E. G. Wagner, \u201cAn initial algebra approach to the specification, correctness and implementation of abstract data types\u201d in \u201cCurrent Trends in Programming Methodology IV\u201d (R. Yeh, ed.), pp. 80\u2013149, Pentice Hall, 1978"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/3-540-10003-2_67","volume":"85","author":"H Ehrig","year":"1980","unstructured":"H. Ehrig, H. J. Kreowski, P. Padawitz, \u201cAlgebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness\u201d, Lecture Notes in Computer Science 85, Springer-Verlag, 1980, pp. 142\u2013156","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR3","series-title":"Internal Report 360","volume-title":"Algebraic specification of abstract data types","author":"MC Gaudel","year":"1979","unstructured":"M. C. Gaudel, \u201cAlgebraic specification of abstract data types\u201d, Internal Report 360, IRIA, Le Chesney (August 1979)"},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"JV Guttag","year":"1978","unstructured":"J.V. Guttag, J. J. Horning, \u201cThe algebraic specification of abstract data types\u201d,, Acta Informatica 10, 1, pp. 27\u201352 (1978)","journal-title":"Acta Informatica"},{"issue":"12","key":"12_CR5","doi-asserted-by":"publisher","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"JV Guttag","year":"1978","unstructured":"J. V. Guttag, E. Horowitz, D. R. Musser, \u201cAbstract data types and software validation\u201d, Comm. ACM 21, 12, pp. 1048\u20131064 (1978)","journal-title":"Comm. ACM"},{"issue":"4","key":"12_CR6","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"CAR Hoare","year":"1972","unstructured":"C. A. R. Hoare,\u201dProof of correctness of data representations\u201d, Acta Informatica 1, 4, pp. 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"key":"12_CR7","volume-title":"Proving properties of algorithmic specifications of abstract data types in AFFIRM","author":"J Loeckx","year":"1980","unstructured":"J. Loeckx, \u201cProving properties of algorithmic specifications of abstract data types in AFFIRM\u201d, AFFIRM-Memo-29-JL, USC-ISI, Marina del Rey, 1980"},{"key":"12_CR8","series-title":"Internal Report A 80\/14","volume-title":"Some properties of implementations of abstract data types","author":"J Loeckx","year":"1980","unstructured":"J. Loeckx, \u201cSome properties of implementations of abstract data types\u201d, Internal Report A 80\/14, Fachbereich 10, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1980"},{"key":"12_CR9","volume-title":"Algorithmic specifications of abstract data types","author":"J Loeckx","year":"1981","unstructured":"J. Loeckx, \u201cAlgorithmic specifications of abstract data types\u201d, Proc. ICALP 81 (Haifa), to be published as Springer Lect. Notes (1981)"},{"key":"12_CR10","unstructured":"J. Loeckx, \u201cThe description of programming languages and the verification of their compilers by abstract data types\u201d, Internal Report, Fachbereich 10, Universit\u00e4t des Saarlandes, Saarbr\u00fccken (in preparation)"},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/800235.807067","volume":"7","author":"R Milner","year":"1972","unstructured":"R. Milner, \u201cImplementation and applications of Scott\u2019s logic for computable functions\u201d, Proc. ACM Conf. on Proving Assertions about Programs, SIGPLAN Notices 7, 1, pp. 1\u20136 (1972)","journal-title":"Proc. ACM Conf. on Proving Assertions about Programs, SIGPLAN Notices"},{"issue":"1","key":"12_CR12","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TSE.1980.230459","volume":"6","author":"DR Musser","year":"1980","unstructured":"D. R. Musser, \u201cAbstract data type specification in the AFFIRM-system\u201d, IEEE Trans. on Softw. Eng., SE-6, 1, pp. 24\u201332 (1980)","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"12_CR13","series-title":"Internal report","volume-title":"On proving the correctness of data type implementations","author":"PA Subrahmanyam","year":"1979","unstructured":"P. A. Subrahmanyam, \u201cOn proving the correctness of data type implementations\u201d, Internal report, Dept. Comp. Sc., University of Utah, Sept. 1979"},{"issue":"8","key":"12_CR14","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1145\/359763.359782","volume":"20","author":"M Shaw","year":"1977","unstructured":"M. Shaw, W. A. Wulf, R. L. London, \u201cAbstraction and verification in ALPHARD: Defining and specifying iteration and generators\u201d, CACM 20, 8, pp.553\u2013564 (1977)","journal-title":"CACM"},{"key":"12_CR15","volume-title":"Fundamental structures of Computer Science","author":"WA Wulf","year":"1981","unstructured":"W. A. Wulf, M. Shaw, P. N. Hilfinger, L. Flon, \u201cFundamental structures of Computer Science\u201d, Addison-Wesley Publ. Co., 1981 (Chapter 11)"}],"container-title":["Informatik-Fachberichte","GI \u2014 11. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01089-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T10:00:50Z","timestamp":1557568850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01089-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108849","9783662010891"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01089-1_12","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}