{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:46:57Z","timestamp":1762458417768},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/bf00625280","type":"journal-article","created":{"date-parts":[[2004,11,26]],"date-time":"2004-11-26T04:08:10Z","timestamp":1101442090000},"page":"47-64","source":"Crossref","is-referenced-by-count":129,"title":["Partial abstract types"],"prefix":"10.1007","volume":"18","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Andr\u00e9ka, H., Burmeister, B., N\u00e9meti, I.: Quasivarieties of partial algebras ? a unifying approach towards a two-valued model theory for partial algebras. TH Darmstadt, FB Mathematik, Preprint Nr. 557"},{"key":"CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05656-1","volume-title":"Algorithmische Sprache und Programmentwicklung","author":"F.L. Bauer","year":"1981","unstructured":"Bauer, F.L., W\u00f6ssner, H.: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., Broy, M., Tucker, J.V., Wirsing, M.: On the power of algebraic specifications. In: Gruska, J. (ed.): 10th MFCS, Strbske Pleso, CSSR, Sept. 1981. LNCS118, 193?204 (1981)","DOI":"10.1007\/3-540-10856-4_85"},{"key":"CR4","unstructured":"Bergstra, J.A., Tucker, J.V.: A characterization of computable data types by means of a finite, equational specification method. Math. Centr. Rep. IWi24\/79, 1979"},{"key":"CR5","unstructured":"Bertoni, A., Mauri, G., Miglioli, P.A., Wirsing, M.: On different approaches to abstract data types and the existence of recursive models. EATCS Bulletin No.9, 47?57 (1979)"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0020-0190(80)90009-5","volume":"11","author":"M. Broy","year":"1980","unstructured":"Broy, M.: Transformational semantics for concurrent programs. IPL11, 87?91 (1980)","journal-title":"IPL"},{"key":"CR7","unstructured":"Broy, M., Wirsing, M.: Algebraic definition of a functional programming language. TU M\u00fcnchen, Tech. Rep. TUM-I8008, to appear in RAIRO Computer Science"},{"key":"CR8","unstructured":"Broy, M., Wirsing, M.: Programming languages as abstract data types. In: Dauchet, M. (ed.): 5\u00e8me Coll. sur les Arbres en Alg\u00e8bre et Programmation, Lille 1980, Univ. de Lille, 160?177 (1980)"},{"key":"CR9","first-page":"34","volume":"11","author":"M. Broy","year":"1980","unstructured":"Broy, M., Wirsing, M.: Partial recursive functions and abstract data types. EATCS Bulletin11, 34?41 (1980)","journal-title":"EATCS Bulletin"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Broy, M., Wirsing, M.: On the algebraic specification of nondeterministic programming languages. In: Astesiano, E., B\u00f6hm, C. (eds.): 6th Colloquium on Trees in Algebra and Programming. LNCS112, 162?179 (1981)","DOI":"10.1007\/3-540-10828-9_61"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Broy, M., Wirsing, M.: On the algebraic extension of abstract data types. In: Diaz, J., Ramos, I. (eds.): Formalization of Programming Concepts. LNCS107, 244?251 (1981)","DOI":"10.1007\/3-540-10699-5_101"},{"key":"CR12","unstructured":"Broy, M., Wirsing, M.: On the algebraic specification of finitary infinite communicating sequential processes. In: Bj\u00f8rner, D. (ed.): IFIP Wkng. Conf. on Formal Description of Programming Language Concepts, Garmisch, June 1982 (to appear)"},{"key":"CR13","unstructured":"Broy, M., Pair, C., Wirsing, P.: A systematic study of models of abstract data types. Centre de Recherche en Informatique de Nancy, Rapport 81-R-042, 1981"},{"key":"CR14","unstructured":"Burstall, R.M., Goguen, J.A.: Putting theories together to make specifications. 5th Int. Conf. en Artificial Intelligence, Cambridge, Mass., pp. 1045?1058, 1977"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Courcelle, B., Nivat, M: The algebraic semantics of programm schemas. In: Winkowski, J. (ed.): 7th MFCS (1978), LNCS64, 16?30 (1978)","DOI":"10.1007\/3-540-08921-7_53"},{"key":"CR16","first-page":"83","volume-title":"IFIP-Congress 80","author":"H.D. Ehrich","year":"1980","unstructured":"Ehrich, H.D., Lipeck, U.: Proving implementations correct ? two alternative approaches. In: Lavington, D. (ed.): IFIP-Congress 80. Amsterdam: North-Holland, pp. 83?88 (1980)"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.J., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Parameterized data types in algebraic specification languages. In: De Bakker, J., van Leenwen, J. (eds.): 7th ICALP (1980), LNCS85, 157?168 (1980)","DOI":"10.1007\/3-540-10003-2_68"},{"key":"CR18","unstructured":"Gaudel, M.C.: G\u00e9n\u00e9ration et preuve de compilateurs bas\u00e9s sur une s\u00e9mantique formelle des langages de programmation. Th\u00e8se d'Etat, Nancy, March 1980"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Giarratana, V., Gimona, F., Montanari, U.: Observability concepts in abstract data type specifications. In: A. Mazurkiewicz (ed.): 5th MFCS (1976), LNCS45, 576?587 (1976)","DOI":"10.1007\/3-540-07854-1_231"},{"key":"CR20","unstructured":"Goguen, J.A.: Abstract errors for abstract data types. UCLA Semantics and Theory of Computation Report 46, Proc. IFIP Wkng. Confr. Formal Description of Programming Language Concepts, St. Andrews, 21.1?21.32, 1977"},{"key":"CR21","first-page":"80","volume-title":"Current Trends in Programming Methodology IV: Data Structuring","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), pp. 80?144, Englewood Cliffs: Prentice Hall 1978"},{"key":"CR22","volume-title":"Universal algebra","author":"G. Gr\u00e4tzer","year":"1968","unstructured":"Gr\u00e4tzer, G.: Universal algebra. Princeton: Van Nostrand 1968"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Greif, L, Meyer, A.: Specifying programming language semantics. 6th POPL (1979)","DOI":"10.1145\/567752.567769"},{"key":"CR24","unstructured":"Guttag, J.V.: The specification and application to programming of abstract data types. Ph.D. Thesis, University of Toronto, 1975"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Milner, R.: On observing nondeterminism and concurrency. In: De Bakker, J., van Leeuwen, J. (eds.): 7th ICALP, LNCS85, 299?309 (1980)","DOI":"10.1007\/3-540-10003-2_79"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Plotkin, G.: A term model for CCS. In: Dembinski, P. (ed): 9th MFCS (1980), LNCS88, 261?274 (1980)","DOI":"10.1007\/BFb0022510"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Hornung, G., Raulefs, P.: Terminal algebra semantics and retractions for abstract data types. In: De Bakker, J, van Leeuwen, J. (eds.): 7th ICALP (1980), LNCS85, 310?323 (1980)","DOI":"10.1007\/3-540-10003-2_80"},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Kamin, S.: Final data type specifications: a new data type specification method. 7th POPL, Las Vegas 1979","DOI":"10.1145\/567446.567459"},{"key":"CR29","volume-title":"Dissertation","author":"H.A. Klaeren","year":"1980","unstructured":"Klaeren, H.A.: Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation. Dissertation, RWTH Aachen, 1980"},{"key":"CR30","unstructured":"Lescanne, P.: Etude algebraique et relationelle des types abstraits et de leurs repr\u00e9sentations. Th\u00e9se d'Etat, Universit\u00e9 de Nancy, 1979"},{"key":"CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"Milner, R.: Fully abstract models of typed ?-calculi. TCS4, 1?22 (1977)","journal-title":"TCS"},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"Milner, R.: Synthesis of communicating behavior. In: Winkowski, J. (ed.): 7th MFCS, LNCS64, 71?83 (1978)","DOI":"10.1007\/3-540-08921-7_57"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Nourani, F.: A model theoretic approach to specification, extension, and implementation. In: Robinet, B. (ed.): 4\u00e8me Colloque Int. sur la Programmation, LNCS83, 282?297 (1980)","DOI":"10.1007\/3-540-09981-6_20"},{"key":"CR34","unstructured":"Pair, C: Types abstraits et s\u00e9mantique alg\u00e9brique des langages de programmation. Centre de Recherche en Informatique de Nancy, 80-R-011, 1980"},{"key":"CR35","unstructured":"Pair, C.: Sur les mod\u00e8les des types abstraits alg\u00e9briques. Centre de Recherche en Informatique de Nancy. 80-P-052, 1980"},{"key":"CR36","volume-title":"Theorie der Aequoide, Dissertation B","author":"H. Reichel","year":"1979","unstructured":"Reichel, H.: Theorie der Aequoide, Dissertation B. Humbold-Universit\u00e4t Berlin, 1979"},{"key":"CR37","unstructured":"Veloso, P.A., Pequeno, T.H.: Don't write more axioms than you have to: A methodology for the complete and correct specification of abstract data types, with examples. Univ. Rio de Janeiro, Monografias en Ciencia do Computacao No. 10, 1979, Ext. Abstr. in Proc. Int. Comp. Cump., Nankang (China) 1978"},{"key":"CR38","doi-asserted-by":"crossref","unstructured":"Wagner, E.G., Thatcher, J.W., Wright, J.B.: Programming languages as mathematical objects. In: Winkowski, J. (ed.): 7th MFCS (1978), LNCS64, 84?101 (1978)","DOI":"10.1007\/3-540-08921-7_58"},{"key":"CR39","first-page":"27","volume":"19","author":"M. Wand","year":"1978","unstructured":"Wand, M.: Final algebra semantics and data type extensions. JCSS19, 27?44. Preliminary Version: Indiana University TR65, 1978","journal-title":"JCSS"},{"key":"CR40","unstructured":"Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M.: On hierarchies of abstract data types. Preliminary Version: TU M\u00fcnchen, Tech. Rep. TUM-I8007, 1980. (To appear in Acta Informat.)"},{"key":"CR41","first-page":"351","volume-title":"Int. Summerschool on Theoretical Foundations of Programming Methodology, Marktoberdorf, August 1981","author":"M. Wirsing","year":"1982","unstructured":"Wirsing, M., Broy, M.: An analysis of semantic models for algebraic specifications. In: Broy, M.; Schmidt, G. (eds.): Int. Summerschool on Theoretical Foundations of Programming Methodology, Marktoberdorf, August 1981 Dordrecht: Reidel, pp. 351?413 (1982)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00625280.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00625280\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00625280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T09:11:38Z","timestamp":1585991498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00625280"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1982]]}},"alternative-id":["BF00625280"],"URL":"https:\/\/doi.org\/10.1007\/bf00625280","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982]]}}}