{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:29:16Z","timestamp":1725456556943},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540513711"},{"type":"electronic","value":"9783540462019"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/bfb0035766","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T09:00:28Z","timestamp":1133427628000},"page":"263-288","source":"Crossref","is-referenced-by-count":11,"title":["On recent trends in algebraic specification"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"P.","family":"Pepper","sequence":"additional","affiliation":[]},{"given":"F.","family":"Orejas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,11,29]]},"reference":[{"issue":"2\/3","key":"19_CR1","first-page":"293","volume":"34","author":"E.K. Blum","year":"1987","unstructured":"Blum, E.K.; Ehrig, H.; Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, JCSS 34, 2\/3 (1987), 293\u2013339","journal-title":"JCSS"},{"key":"19_CR2","unstructured":"Burstall, R.M.; Goguen, J.A.: Putting theories together to make specifications. Proc. Int. Conf. Artificial Intelligence, 1977"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/9758.10501","volume":"9","author":"M. Broy","year":"1987","unstructured":"Broy, M.; Pepper, P.; Wirsing, M.: On the algebraic definition of programming languages. TOPLAS 9, 1987, pp. 54\u201399","journal-title":"TOPLAS"},{"key":"19_CR4","first-page":"185","volume-title":"Logic of Programming and Calculi of Discrete Design, Marktoberdorf, 1986, Nato ASI Series F, Vol. 36","author":"M. Broy","year":"1987","unstructured":"Broy, M.: Equational specification of partial higher order algebras. In: M. Broy (ed.): Logic of Programming and Calculi of Discrete Design, Marktoberdorf, 1986, Nato ASI Series F, Vol. 36. Berlin: Springer (1987), pp. 185\u2013241"},{"key":"19_CR5","unstructured":"Broy, M., Wirsing, M.: Programming languages as abstract data types. Proc. 5th Conf. on Trees in Algebra and Programming, Lille, pp. 160\u2013177 (1980)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Broy, M., Wirsing M.: On the algebraic specification of nondeterministic programming languages. Proc. 6th Conf. on Trees in Algebra and Programming, Genova, (1981)","DOI":"10.1007\/3-540-10828-9_61"},{"key":"19_CR7","unstructured":"CIP Language Group: Report on a Wide Spectrum Language for Program Specification and Development, Techn. Report TUM-I8104, TU M\u00fcnchen, 1981; also available as Springer LNCS 183"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Br\u00fcckner, B., Laut, A., Matzner, T., M\u00f6ller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., W\u00f6ssner, H.: The Munich Project CIP, Vol. 1: The Wide Spectrum language CIP-L, LNCS 183, Springer (1985)","DOI":"10.1007\/3-540-15187-7"},{"key":"19_CR9","unstructured":"COMPASS Working Group: A Comprehensive Algebraic Approach to System Specification and Development, ESPRIT BRA-Proposal 1988, to appear as Technical Report, Univ. Bremen"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Cla\u00dfen, I., Boehm, P., Fey, W., Korff, M., L\u00f6we, M.: Algebraic Concepts for Software Development in ACT ONE, ACT TWO, and LOTOS, Proc. Conf. Software Entwicklungs-Konzepte, Erfahrungen, Perspektiven, Marburg 1989, to appear in Springer LNCS 1989","DOI":"10.1007\/978-3-642-74872-1_14"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.D. Ehrich","year":"1982","unstructured":"Ehrich, H.D.: On the theory of specification, implementation and parameterization of abstract data types. Report, 1978. J. ACM 29 (1982), 206\u2013227","journal-title":"J. ACM"},{"key":"19_CR12","unstructured":"Egger, G., Fett, A., Pepper, P., Schulte, W.: The Programming Language OPAL. Techn. Univ. Berlin, Techn. Report (to appear)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Kreowski, H.-J.; Padawitz, P.: Stepwise specification and implementation of abstract data types. 5th Int. Coll. Automata, Languages, and Programming (1978), Springer LNCS 62, 205\u2013226","DOI":"10.1007\/3-540-08860-1_16"},{"key":"19_CR14","first-page":"223","volume":"23","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H.; Mahr, B.: Complexity of algebraic implementations for abstract data types. JCSS 23 (1981), 223\u2013253","journal-title":"JCSS"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, Springer (1989)","DOI":"10.1007\/978-3-642-61284-8_9"},{"key":"19_CR17","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-50325-0_2","volume":"332","author":"H. Ehrig","year":"1987","unstructured":"Ehrig, H.; Parisi-Presicce, F.; Boehm, P.; Rieckhoff, C.; Dimitrovici, C.; Gro\u00dfe-Rhode, M.: Algebraic Data Type and Process Specifications based on Projection Spaces, Springer Lect. Notes in Comp. Sci. 332 (1987), pp. 23\u201343","journal-title":"Notes in Comp. Sci."},{"key":"19_CR18","unstructured":"Ehrig, H.; Weber, H.: Algebraic Specifications of Modules. Proc. IFIP Work Conf. 85: The Role of Abstract Models in Programming, Wien 1985."},{"key":"19_CR19","first-page":"675","volume-title":"Information Processing 86","author":"H. Ehrig","year":"1986","unstructured":"Ehrig, H.; Weber, H.: Programming in the large with algebraic module specifications. In: H.J. Kugler (ed.): Information Processing 86. Amsterdam: North-Holland, 1986, 675\u2013684"},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0167-6423(83)90021-7","volume":"3","author":"H. Ganzinger","year":"1983","unstructured":"Ganzinger, H.: Increasing Modularity and Language-Independency in Automatically Generated Compilers. Science of Computer Programming, 3 (1983), pp. 223\u2013278","journal-title":"Science of Computer Programming"},{"key":"19_CR21","first-page":"221","volume":"164","author":"J.A. Goguen","year":"1984","unstructured":"Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221\u2013256","journal-title":"Carnegie-Mellon. LNCS"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Ganzinger, H.; Giegerich, R.: Attribute Coupled Grammars. ACM SIGPLAN '84 Symp. on Compiler Construction, Montreal 1984, pp. 157\u2013170","DOI":"10.1145\/502949.502890"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Giarratana, V.; Gimona, F.; Montanari, U.: Observability concepts in abstract data type specifications. 5th Symp. Math. Found. of Comp. Sci. (1976), Springer LNCS 45, 576\u2013587","DOI":"10.1007\/3-540-07854-1_231"},{"key":"19_CR24","first-page":"265","volume":"140","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A.; Meseguer, J.: Universal realization, persistent interconnection and implementation of abstract modules. Proc. IX ICALP, LNCS 140, Springer (1982), 265\u2013281","journal-title":"Proc. IX ICALP, LNCS"},{"key":"19_CR25","unstructured":"Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall (1978), 80\u2013144"},{"key":"19_CR26","unstructured":"Guttag, J.V.: The specification and application to programming of abstract data types. Ph.D. Thesis, University of Toronto, 1975"},{"key":"19_CR27","unstructured":"Hupbach, U.L.; Kaphengst, H.; Reichel, H.: Initial algebraic specifications of data types, parameterized data types and algorithms. VEB Robotron ZFT, Techn. Report 15, Dresden 1980"},{"key":"19_CR28","unstructured":"Brinksma, E.(ed.): Information processing systems \u2014 open system interconnection \u2014 LOTOS \u2014 A formal description technique based on the temporal ordering of observational behavior, International Standard, ISO 8807"},{"key":"19_CR29","unstructured":"Meseguer, J.; Goguen, J.A.: Initiality, Induction, and Computability, In: Algebraic Methods in Semantics, M. Nivat, J. Reynolds (eds.), Cambridge Univ. Press (1985), pp. 459\u2013540"},{"key":"19_CR30","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/BF00267044","volume":"22","author":"B. M\u00f6ller","year":"1985","unstructured":"M\u00f6ller, B.: On the algebraic specification of infinite objects: ordered and continuous algebraic types. Acta Informatica 22, 1985, pp. 537\u2013578","journal-title":"Acta Informatica"},{"key":"19_CR31","unstructured":"M\u00f6ller, B.: Higher-order algebraic specifications. Fakult\u00e4t f\u00fcr Informatik, TU M\u00fcnchen, Habilitationsschrift, 1987"},{"key":"19_CR32","unstructured":"Mosses, P.D.: Modularity in Action Semantics. SDF Benchmark Series in Computational Linguistics-Workshop II., MIT Press, 1988"},{"key":"19_CR33","unstructured":"Nivela, P.: Semantica de Comportamiento en Languages de Especification, Ph.D. Thesis, Barcelona, 1987"},{"key":"19_CR34","first-page":"184","volume":"332","author":"P. Nivela","year":"1988","unstructured":"Nivela, P.; Orejas, F.: Behavioral semantics for algebraic specification languages, Proc. ADT-Workshop Gullane, 1987, Springer LNCS 332 (1988), 184\u2013207","journal-title":"Springer LNCS"},{"key":"19_CR35","doi-asserted-by":"crossref","unstructured":"Orejas, F.; Nivela, P.; Ehrig, H.: Semantical Constructions for Categories of Behavioral Specifications, Proc. Int. Workshop on Categorical Methods in Computer Science with Applications to Topology, Springer LNCS, to appear 1989","DOI":"10.1007\/3-540-51722-7_13"},{"key":"19_CR36","first-page":"675","volume-title":"Inform. Processing 86","author":"F. Orejas","year":"1986","unstructured":"Orejas, F.: The role of abstraction in program development. In: H.J. Kugler (ed.): Inform. Processing 86. Amsterdam: North-Holland, 1986, pp. 675\u2013684"},{"key":"19_CR37","doi-asserted-by":"crossref","unstructured":"Pepper, P.: A study on transformational semantics, in: F.L. Bauer, M. Broy (eds.): Program Construction. Proc. of the Intern. Summer School, Marktoberdorf 1978. LNCS 69, Springer 1979, pp. 322\u2013405","DOI":"10.1007\/BFb0014674"},{"key":"19_CR38","unstructured":"Pepper, P.; Wile, D.: Local Formalisms: An Algebraic View, submitted for publication"},{"key":"19_CR39","first-page":"504","volume":"88","author":"H. Reichel","year":"1980","unstructured":"Reichel, H.: Initially restricting algebraic theories. Proc. MFCS, LNCS 88, Springer (1980), 504\u2013514","journal-title":"LNCS"},{"key":"19_CR40","doi-asserted-by":"crossref","unstructured":"Sannella, D.T.; Tarlecki, A.: Building specifications in an arbitrary institution. Proc. of the Int. Symp. on Semantics of Data Types, LNCS 173, Springer (1984)","DOI":"10.1007\/3-540-13346-1_17"},{"key":"19_CR41","first-page":"150","volume":"34","author":"D. Sannella","year":"1987","unstructured":"Sannella, D.; Tarlecki, A.: On Observational Equivalence and Algebraic Specification, JCSS 34 (1987), pp. 150\u2013178","journal-title":"JCSS"},{"key":"19_CR42","doi-asserted-by":"crossref","first-page":"95","DOI":"10.3233\/FI-1986-9106","volume":"9","author":"A. Tarlecki","year":"1986","unstructured":"Tarlecki, A.; Wirsing, M.: Continuous abstract data types. Fundamenta Informaticae 9, 1986, pp. 95\u2013125","journal-title":"Fundamenta Informaticae"},{"key":"19_CR43","unstructured":"Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Data type specification: parameterization and the power of specification techniques. 10th Symp. Theory of Computing (1978), 119\u2013132. Trans. Prog. Languages and Systems 4 (1982), 711\u2013732"},{"issue":"7","key":"19_CR44","doi-asserted-by":"crossref","first-page":"784","DOI":"10.1109\/TSE.1986.6312979","volume":"SE-12","author":"H. Weber","year":"1986","unstructured":"Weber, H.; Ehrig, H.: Specification of modular systems, IEEE Transaction on Software Engineering, Vol. SE-12, no 7, 1986, 784\u2013798","journal-title":"IEEE Transaction on Software Engineering"},{"key":"19_CR45","unstructured":"Wile, D.: Local Formalisms: Widening the Spectrum of Wide Spectrum Languages, Proc. IFIP TC2 \/ WG 2.1 Working Conf. on Program Specification and Transformation, Bad T\u00f6lz, 1986, North-Holland, pp. 459\u2013481"},{"key":"19_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"Wirsing, M.; Pepper, P.; Partsch, H.; Dosch, W.; Broy, M.: On hierarchies of abstract data types. Acta Informatica 20 (1983), pp. 1\u201333. Also: Report TUM-I8007, Techn. Univ. Munich, 1980","journal-title":"Acta Informatica"},{"key":"19_CR47","volume-title":"7th MFCS (1978), LNCS 64","author":"E.G. Wagner","year":"1978","unstructured":"Wagner, E.G.; Thatcher, J.W.; Wright, J.B.: Programming Languages as Mathematical Objects. In: 7th MFCS (1978), LNCS 64, Springer, New York, 1978"},{"key":"19_CR48","unstructured":"Zilles, S.N.: Algebraic specification of data types. Project MAC Progress Report 11, MIT 1974, pp. 28\u201352"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035766","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T07:15:51Z","timestamp":1706771751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035766"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540513711","9783540462019"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/bfb0035766","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}