{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:49:13Z","timestamp":1725626953307},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540103882"},{"type":"electronic","value":"9783642678387"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/978-3-642-67838-7_28","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:19:29Z","timestamp":1320229169000},"page":"306-320","source":"Crossref","is-referenced-by-count":2,"title":["Polynomials \u2014 The Specification, Analysis and Development of an Abstract Data Type"],"prefix":"10.1007","author":[{"given":"W.","family":"Dosch","sequence":"first","affiliation":[]},{"given":"M.","family":"Wirsing","sequence":"additional","affiliation":[]},{"given":"G.","family":"Ausiello","sequence":"additional","affiliation":[]},{"given":"G. F.","family":"Mascari","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","volume-title":"Current Trends in Programming Methodology","author":"JA Goguen","year":"1978","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: R.T. Yeh (ed.): Current Trends in Programming Methodology, Vol. 3, Data Structuring, N.J.: Prentice Hall, 1978"},{"key":"28_CR2","volume-title":"Data type specification: Parameterization and the power of specification techniques","author":"JW Thatcher","year":"1978","unstructured":"J.W. Thatcher, E.G. Wagner, J.B. Wright: Data type specification: Parameterization and the power of specification techniques. Proc. SIGACT 10th Annual Symposium on the Theory of Computing, 1978"},{"key":"28_CR3","series-title":"LNCS","volume-title":"Symbolic and Algebraic Computation515\u2013530","author":"G Ausiello","year":"1979","unstructured":"G. Ausiello, G.F. Mascari: On the design of algebraic data structures with the approach of abstract data types. In: E.W. Ng (ed.): Symbolic and Algebraic Computation, LNCS 72, 515\u2013530 (1979)"},{"key":"28_CR4","volume-title":"Einf\u00fchrung in die Informatik I","author":"FL Bauer","year":"1980","unstructured":"F.L. Bauer: Einf\u00fchrung in die Informatik I. Vorlesungsskriptum, Technische Universit\u00e4t M\u00fcnchen (1980)"},{"key":"28_CR5","unstructured":"F.L. Bauer, H. W\u00f6ssner: Algorithmic language and program development. Berlin-Heidelberg-New York: Springer-Verlag. To appear"},{"key":"28_CR6","unstructured":"J.A. Bergstra, J.V. Tucker: Algebraic specifications of computable and semicomputable data structures. Afdeling Informatice Amsterdam, IW 115\/79"},{"key":"28_CR7","unstructured":"J.A. Bergstra, J.V. Tucker: A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification. To appear"},{"key":"28_CR8","first-page":"47","volume":"9","author":"A Bertoni","year":"1979","unstructured":"A. Bertoni, G. Mauri, P.A. Miglioli, M. Wirsing: On different approaches to abstract data types and the existence of recursive models. Bulletin of EATCS 9, 47\u201357 (1979)","journal-title":"Bulletin of EATCS"},{"key":"28_CR9","volume-title":"Transformation parallel ablaufender Programme","author":"M Broy","year":"1980","unstructured":"M. Broy: Transformation parallel ablaufender Programme. Dissertation, Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Mathematik (1980)"},{"key":"28_CR10","series-title":"LNCS","first-page":"73","volume-title":"Proc. 6th ICALP, Graz","author":"M Broy","year":"1979","unstructured":"M. Broy, W. Dosch, H. Partsch, P. Pepper, M. Wirsing: Existential quantifiers in abstract data types. In: H.A. Maurer (ed.): Proc. 6th ICALP, Graz, LNCS 71 73\u201387 (1979)"},{"key":"28_CR11","volume-title":"Problemspezifikation \u2014 eine Grundlage f\u00fcr Programmentwicklung","author":"M Broy","year":"1979","unstructured":"M. Broy, R. Gnatz, M. Wirsing: Problemspezifikation \u2014 eine Grundlage f\u00fcr Programmentwicklung. Workshop on Reliable Software, Bonn University, Sept. 22\u201323, 1978. Hanser Verlag (1979)"},{"key":"28_CR12","volume-title":"Programming languages as abstract data types","author":"M Broy","year":"1980","unstructured":"M. Broy, M. Wirsing: Programming languages as abstract data types. Proc. 5th Colloquium on \u201cArbres en Alg\u00e8bre et en Programmation\u201d, Lille 1980"},{"key":"28_CR13","first-page":"1045","volume-title":"Putting theories together to make specifications","author":"RM Burstall","year":"1977","unstructured":"R.M. Burstall, J.A. Goguen: Putting theories together to make specifications. Proc. of the Fifth Int. Joint Conf. on Artificial Intelligence, MIT, Cambridge, Mass., 1045\u20131058 (1977)"},{"key":"28_CR14","unstructured":"H.D. Enrich: On the theory of specification, implementation and parameterization of abstract data types. To appear"},{"key":"28_CR15","first-page":"205","volume":"62","author":"H Ehrig","year":"1978","unstructured":"H. Ehrig, H.J. Kreowski, P. Padawitz: Stepwise specification and implementation of abstract data types. Proc. 5th ICALP, Udine, LNCS 62, 205\u2013226 (1978)","journal-title":"Proc. 5th ICALP, Udine, LNCS"},{"key":"28_CR16","series-title":"IRIA Rapport de Recherche","volume-title":"Sp\u00e9cifications incompl\u00e8tes mais suffisantes de la repr\u00e9sentation des types abstraits","author":"MC Gaudel","year":"1978","unstructured":"M.C. Gaudel: Sp\u00e9cifications incompl\u00e8tes mais suffisantes de la repr\u00e9sentation des types abstraits. IRIA Rapport de Recherche No. 320 (1978)"},{"key":"28_CR17","first-page":"576","volume":"45","author":"V Giarratana","year":"1976","unstructured":"V. Giarratana, F. Gimona, U. Montanari: Observability concepts in abstract data type specification. Proc. of the 5th MFCS Symposium. LNCS 45, 576\u2013587 (1976)","journal-title":"Proc. of the 5th MFCS Symposium. LNCS"},{"key":"28_CR18","volume-title":"Ph. D. Thesis, Univ. of Toronto, Dept. of Comp. Science, Rep","author":"JV Guttag","year":"1975","unstructured":"J.V. Guttag: The specification and application to programming of abstract data types. Ph. D. Thesis, Univ. of Toronto, Dept. of Comp. Science, Rep. CSRG-59 (1975)"},{"key":"28_CR19","series-title":"USC\/Information Sciences Institute","doi-asserted-by":"crossref","DOI":"10.21236\/ADA034827","volume-title":"The design of data specifications","author":"JV Guttag","year":"1976","unstructured":"J.V. Guttag, E. Horowitz, D.R. Musser: The design of data specifications. USC\/Information Sciences Institute, RR-76\u201349 (1976)"},{"key":"28_CR20","first-page":"1975","volume-title":"The art of computer programming., Vol. 1,2","author":"DE Knuth","year":"1971","unstructured":"D.E. Knuth: The art of computer programming., Vol. 1,2. Reading Mass.: Addison-Wesley (1971, 1975)"},{"key":"28_CR21","volume-title":"Computational Problems in Abstract Algebra","author":"D Knuth","year":"1970","unstructured":"D. Knuth, P. Bendix: Simple word problems in universal algebras. In: J. Leech Ced.): Computational Problems in Abstract Algebra. Pergamon Press 1970"},{"key":"28_CR22","volume-title":"Th\u00e8se de Doctorat","author":"Etude alg\u00e9brique et relationnelle des types abstraits et de leurs repr\u00e9sentations","year":"1979","unstructured":"Etude alg\u00e9brique et relationnelle des types abstraits et de leurs repr\u00e9sentations. Th\u00e8se de Doctorat, Universit\u00e9 de Nancy 1979"},{"key":"28_CR23","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0304-3975(79)90059-8","volume":"8","author":"M Majster","year":"1979","unstructured":"M. Majster: Data types, abstract data types and their specification problem. TCS 8, 89\u2013127 (1979)","journal-title":"TCS"},{"key":"28_CR24","series-title":"Science Department, Technical Report","volume-title":"Final algebra semantics and data type extensions. Indiana University, Comp","author":"M Wand","year":"1978","unstructured":"M. Wand: Final algebra semantics and data type extensions. Indiana University, Comp. Science Department, Technical Report No. 65 (1978)"},{"key":"28_CR25","volume-title":"Abstract data types as lattices of finitely generated models","author":"M Wirsing","year":"1980","unstructured":"M. Wirsing, M. Broy: Abstract data types as lattices of finitely generated models. To appear in the Proc. 9th MFCS, Rydzyna, Poland (1980)"},{"key":"28_CR26","first-page":"18007","volume-title":"On hierarchies of abstract data types","author":"M Wirsing","year":"1980","unstructured":"M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On hierarchies of abstract data types. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM 18007 (1980)"}],"container-title":["Informatik-Fachberichte","GI - 10. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67838-7_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:09:51Z","timestamp":1606255791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67838-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540103882","9783642678387"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67838-7_28","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1980]]}}}