{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:18Z","timestamp":1747627338823,"version":"3.40.5"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Categorical Structures"],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1023\/a:1008688122154","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"1-35","source":"Crossref","is-referenced-by-count":7,"title":["Applications of Category Theory to the Area of Algebraic Specification in Computer Science"],"prefix":"10.1007","volume":"6","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Martin","family":"Gro\u00dfe-Rhode","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"129121_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: Interaction categories (extended abstract), Theory and Formal Methods 1993: Proc. First Imperial College Department of Computing Workshop on Theory and Formal Methods, Springer-Verlag Workshops in Computer Science, 1993.","DOI":"10.1007\/978-1-4471-3503-6_5"},{"key":"129121_CR2","volume-title":"A Classical Mind: Essays in Honour of C.A.R. Hoare","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S.: Interaction categories and communicating sequential processes, A Classical Mind: Essays in Honour of C.A.R. Hoare, Prentice Hall, New York, 1994."},{"key":"129121_CR3","volume-title":"Proc. Joint Conf. on Theory and Practice of Software Development, Pisa","author":"M. Bidoit","year":"1985","unstructured":"Bidoit, M. and Choppy, C.: ASSPEGIQUE: an integrated environment for algebraic specifications, Proc. Joint Conf. on Theory and Practice of Software Development, Pisa, Springer-Verlag, Berlin, 1985."},{"key":"129121_CR4","doi-asserted-by":"crossref","unstructured":"Bidoit, M., Choppy, C. and Voisin, F.: The ASSPEGIQUE specification environment: motivations and design, Recent Trends in Data Type Specification, Proc. 3rd Workshop on Theory and Applications of Abstract Data Types, Springer IFB 116, 1985.","DOI":"10.1007\/978-3-662-09691-8_6"},{"key":"129121_CR5","unstructured":"Burstall, R. M. and Goguen, J. A.: Putting theories together to make specifications, Proc. Int. Conf. Artificial Intelligence, 1977."},{"key":"129121_CR6","volume-title":"Abstract Software Specification, Proc. 1979 Copenhagen Winter School, LNCS 86","author":"R. M. Burstall","year":"1980","unstructured":"Burstall, R. M. and Goguen, J. A.: The semantics of CLEAR, a specification language, Abstract Software Specification, Proc. 1979 Copenhagen Winter School, LNCS 86, Springer-Verlag, Berlin, 1980."},{"key":"129121_CR7","volume-title":"Algebraic Specification","author":"J. A. Bergstra","year":"1989","unstructured":"Bergstra, J. A., Heering, J. and Klint, R.: Algebraic Specification, Addison Wesley, New York, 1989."},{"key":"129121_CR8","volume-title":"PLUSS, un language pour le d\u00e9veloppement de sp\u00e9cifications alg\u00e9brique modulaires","author":"M. Bidoit","year":"1989","unstructured":"Bidoit, M.: PLUSS, un language pour le d\u00e9veloppement de sp\u00e9cifications alg\u00e9brique modulaires, PhD thesis, Universit\u00e9 Paris-Sud, Orsay, 1989."},{"key":"129121_CR9","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0018512","volume-title":"Algebraic System Specification and Development","author":"M. Bidoit","year":"1991","unstructured":"Bidoit, M., Kreowski, H. J., Lescanne, P., Orejas, F. and Sannella, D.: Algebraic System Specification and Development, volume 501 of LNCS, Springer-Verlag, Berlin, 1991."},{"key":"129121_CR10","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G. Birkhoff","year":"1970","unstructured":"Birkhoff, G. and Lipson, J.D.: Heterogeneous algebras, J. Combinatorial Theory\n8(1970), 115-133.","journal-title":"J. Combinatorial Theory"},{"key":"129121_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, triples, and theories","author":"M. Barr","year":"1985","unstructured":"Barr, M. and Wells, C.: Toposes, triples, and theories, Springer-Verlag, Berlin, 1985."},{"issue":"2","key":"129121_CR12","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1017\/S0960129500000700","volume":"5","author":"I. Cla\u00dfen","year":"1995","unstructured":"Cla\u00dfen, I., Gro\u00dfe-Rhode, M. and Wolter, U.: Categorical concepts for parameterized partial specifications, Math. Struct. in Comp. Science\n5(2) (1995), 153-188.","journal-title":"Math. Struct. in Comp. Science"},{"key":"129121_CR13","unstructured":"CIP Language Group, Report on a wide spectrum language for program specification and development, Technical Report TUM-18104, Technische Universit\u00e4t M\u00fcnchen, 1981."},{"key":"129121_CR14","unstructured":"Cla\u00dfen, I.: Compositionality of Application Oriented Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics, PhD thesis, Technische Universit\u00e4t Berlin, 1993."},{"key":"129121_CR15","series-title":"Technical report","volume-title":"May I Borrow Your Logic?","author":"M. Cerioli","year":"1993","unstructured":"Cerioli, M. and Meseguer, J.: May I Borrow Your Logic? Technical report, SRI International, Menlo Park, 1993."},{"key":"129121_CR16","volume-title":"Universal Algebra","author":"P.M. Cohn","year":"1965","unstructured":"Cohn, P.M.: Universal Algebra, Harper & Row, New York, 1965."},{"key":"129121_CR17","unstructured":"Ehrig, H. and Gro\u00dfe-Rhode, M.: Structural theory of algebraic specifications in a specification logic - Part 1: Functorial parameterized specifications, Technical Report 91-23, Technische Universit\u00e4t Berlin, 1991."},{"key":"129121_CR18","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(94)90110-4","volume":"135","author":"H. Ehrig","year":"1994","unstructured":"Ehrig, H. and Gro\u00dfe-Rhode, M.: Functorial theory of parameterized specifications in a general specification framework, Theoretical Computer Science\n135(1994), 221-266.","journal-title":"Theoretical Computer Science"},{"key":"129121_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-94709-3","volume-title":"Algebraische Spezifikation abstrakter Datentypen","author":"H.-D. Ehrich","year":"1989","unstructured":"Ehrich, H.-D., Gogolla, M. and Lipeck, U. W.: Algebraische Spezifikation abstrakter Datentypen, Teubner, Stuttgart, 1989."},{"key":"129121_CR20","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, JACM\n29(1982), 206-227. Also appeared as Technical Report, Universit\u00e4t Dortmund, 1978.","journal-title":"JACM"},{"key":"129121_CR21","unstructured":"Ehrig, H.: Algebraic specification of modules and modular software systems within the framework of specification logics, Technical Report 89-17, TU Berlin, 1989."},{"key":"129121_CR22","unstructured":"Ehrig, H., Kreowski, H.-J. and Weber, H.: Algebraic specification schemes for data base systems, Proc. 4th Int. Conf. Very Large Data Bases, Hahn-Meitner-Institut f\u00fcr Kernforschung, HMI-B266, 1978."},{"key":"129121_CR23","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H. and Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1985."},{"key":"129121_CR24","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Module Specifications and Constraints","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H. and Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, volume 21 of EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1990."},{"key":"129121_CR25","first-page":"3","volume":"915","author":"H. Ehrig","year":"1995","unstructured":"Ehrig, H. and Mahr, B.: A decade of TAPSOFT: Aspects of progress and prospects in theory and practice of software development, LNCS\n915(1995), 3-24.","journal-title":"LNCS"},{"key":"129121_CR26","unstructured":"Fey, W.: Pragmatics, concepts, syntax, semantics, and correctness notions of ACT TWO: An algebraic module specification and interconnection language, Technical Report 88\/26, Technische Universit\u00e4t Berlin, 1988."},{"key":"129121_CR27","doi-asserted-by":"crossref","unstructured":"Futatsugi, K., Goguen, J. A., Jouannaud, J. P. and Meseguer, J. L.: Principles of OBJ2, Proc. 12th ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, 1985.","DOI":"10.1145\/318593.318610"},{"key":"129121_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700044828","volume":"7","author":"P. Freyd","year":"1972","unstructured":"Freyd, P.: Aspects to topoi, Bull. Austr. Math. Soc.\n7(1972), 1-72.","journal-title":"Bull. Austr. Math. Soc."},{"key":"129121_CR29","first-page":"467","volume":"8","author":"P. Freyd","year":"1973","unstructured":"Freyd, P.: Aspects to topoi, corrections, Bull. Austr. Math. Soc.\n8(1973), 467-480.","journal-title":"Bull. Austr. Math. Soc."},{"key":"129121_CR30","series-title":"LNCS","volume-title":"Recent Trend in Data Type Specification","author":"J. Fiadeiro","year":"1987","unstructured":"Fiadeiro, J. and Sernadas, A.: Structuring theories on consequence, Recent Trend in Data Type Specification, LNCS 332, Springer-Verlag, Berlin, 1987."},{"key":"129121_CR31","series-title":"LNCS","volume-title":"Proc. Logics of Programming workshop, Carnegie-Mellon","author":"J. A. Goguen","year":"1984","unstructured":"Goguen, J. A. and Burstall, R. M.: Introducing institutions, Proc. Logics of Programming workshop, Carnegie-Mellon, LNCS 164, Springer-Verlag, Berlin, 1984."},{"key":"129121_CR32","unstructured":"Goguen, J. A. and Burstall, R. M.: Institutions: Abstract model theory for computer science, Technical Report CSLI-85-30, Stanford University, 1985."},{"issue":"1","key":"129121_CR33","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"Goguen, J. A. and Burstall, R. M.: Institutions: Abstract model theory for specification and programming, J. ACM\n39(1) (1992), 95-146.","journal-title":"J. ACM"},{"key":"129121_CR34","unstructured":"Guttag, J. V., Horning, J. J. and Modet, A.: Report on the Larch shared Language: Version 2.3, System Research Center Report 58, Digital Equipment Corporation, 1990."},{"key":"129121_CR35","unstructured":"Guttag, J. V., Horning, J. J. and Wing, J. M.: Larch in five easy pieces. System Research Center Report 5, Digital Equipment Corporation, 1985."},{"key":"129121_CR36","unstructured":"Gr\u00e4tzer, G.: Universal Algebra, Van Nostrand Reinhold, 1969."},{"key":"129121_CR37","unstructured":"Goguen, J. A. and Tardo, J. J.: An introduction to OBJ: A language for writing and testing formal algebraic program specification, Proc. IEEE Conf. Specification on Reliable Software, IEEE, 1979."},{"key":"129121_CR38","volume-title":"Current Trends in Programming Methodology IV: Data Structuring","author":"J. A. Goguen","year":"1978","unstructured":"Goguen, J. A., Thatcher, J. W. and Wagner, E. G.: An initial algebra approach to the specification, correctness and implementation of abstract data types, Current Trends in Programming Methodology IV: Data Structuring, Prentice Hall, New York, 1978."},{"key":"129121_CR39","unstructured":"Goguen, J. A., Thatcher, J. W., Wagner, E. G. and Wright, J. B.: Abstract data types as initial algebras and the correctness of data representations, Proc. Conf. on Computer Graphics, Pattern Recognition and Data Structures, 1975."},{"key":"129121_CR40","unstructured":"Guttag, J. V.: The Specification and Application to Programming of Abstract Data Types, PhD thesis, University of Toronto, 1975."},{"key":"129121_CR41","unstructured":"Goguen, J. A. and Winkler, T.: Introducing OBJ3, Technical Report SRI-CSL-88-9, SRI, August 1988."},{"key":"129121_CR42","series-title":"Lecture Notes in Computer Science","volume-title":"Recent Trends in Data Type Specification, Selected Papers from the 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland","author":"H. Hansen","year":"1988","unstructured":"Hansen, H.: The ACT-system: experiences and future enhancements, Recent Trends in Data Type Specification, Selected Papers from the 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, Lecture Notes in Computer Science 332, Springer-Verlag, Berlin, 1988."},{"key":"129121_CR43","series-title":"Technical Report","volume-title":"Initial algebraic specification of data types, parameterized data types and algorithms","author":"U. L. Hupbach","year":"1980","unstructured":"Hupbach, U. L., Kaphengst, K. and Reichel, H.: Initial algebraic specification of data types, parameterized data types and algorithms. Technical Report WIB 15, VEB Robotron, Zentrum f\u00fcr Forschung und Technik, Dresden, 1980."},{"key":"129121_CR44","volume-title":"Categories in Computer Science and Logic","author":"J. M. E. Hyland","year":"1989","unstructured":"Hyland, J. M. E. and Pitts, A. M.: The theory of constructions: Categorical semantics and topos-theoretic models, Categories in Computer Science and Logic, AMS-IMS-SIAM Joint Summer Research Conference, University of Colorado, Boulder, 1989."},{"key":"129121_CR45","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1017\/S0960129500000748","volume":"5","author":"R. Jim\u00e9nez","year":"1995","unstructured":"Jim\u00e9nez, R., Orejas, F. and Ehrig, H.: Compositionality and compatibility of parameterization and parameter passing in specification languages, Math. Struct. in Comp. Science\n5(1995), 283-314.","journal-title":"Math. Struct. in Comp. Science"},{"key":"129121_CR46","first-page":"74","volume":"420","author":"G. M. Kelly","year":"1974","unstructured":"Kelly, G. M.: Review of the elements of 2-categories, Lecture Notes in Mathematics\n420(1974), 74-103.","journal-title":"Lecture Notes in Mathematics"},{"key":"129121_CR47","unstructured":"Krieg-Br\u00fcckner, B. and Plump, D.: COMPASS: a COMPrehensive Algebraic approach to System Specification and development, Final Report. Technical Report 7\/91, Universit\u00e4t Bremen, 1991."},{"key":"129121_CR48","first-page":"41","volume":"16","author":"H. Kaphengst","year":"1972","unstructured":"Kaphengst, H. and Reichel, H.: Operative Theorien und Kategorien von operativen Systemen, Studien zur Algebra und ihren Anwendungen, volume 16, pp. 41-56. Akademie-Verlag, 1972.","journal-title":"Studien zur Algebra und ihren Anwendungen"},{"key":"129121_CR49","volume-title":"Handbook of Mathematical Logic","author":"A. Kock","year":"1977","unstructured":"Kock, A. and Reyes, G. E.: Doctrines in categorical logic, Handbook of Mathematical Logic, Elsevier Science B.V., Amsterdam, 1977."},{"key":"129121_CR50","doi-asserted-by":"crossref","unstructured":"Lawvere, F. W.: Functorial semantics of algebraic theories, Proc. National Academy of Science, U.S.A., 50Columbia University, 1963.","DOI":"10.1073\/pnas.50.5.869"},{"key":"129121_CR51","volume-title":"Introduction to higher order categorical logic","author":"J. Lambek","year":"1986","unstructured":"Lambek, J. and Scott, P. J.: Introduction to higher order categorical logic, Cambridge University Press, Cambridge, 1986."},{"key":"129121_CR52","volume-title":"Logic colloquium' 87","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General logics, Logic colloquium' 87, Elsevier Science B.V., Amsterdam, 1989."},{"key":"129121_CR53","unstructured":"Meseguer, J.: Rewriting as a unified model of concurrency, Technical Report SRI-CSL-90-02, SRI International, Computer Science Laboratory, 1990."},{"key":"129121_CR54","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency, TCS\n96(1992), 73-155.","journal-title":"TCS"},{"key":"129121_CR55","first-page":"459","volume-title":"Algebraic Methods in Semantics","author":"J. Meseguer","year":"1985","unstructured":"Meseguer, J. and Goguen, J. A.: Initiality, induction, and computability, Algebraic Methods in Semanticschapter 14, pp. 459-541. Cambridge University Press, Cambridge, 1985."},{"key":"129121_CR56","series-title":"LNCS","first-page":"77","volume-title":"Category Theory and Computer Programming","author":"A. Poign\u00e9","year":"1985","unstructured":"Poign\u00e9, A.: Algebra categorically, Category Theory and Computer Programming, pp. 77-102, LNCS 240, Springer-Verlag, Berlin, 1985."},{"key":"129121_CR57","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial Computability, Algebraic Specifications, and Partial Algebras","author":"H. Reichel","year":"1987","unstructured":"Reichel, H.: Initial Computability, Algebraic Specifications, and Partial Algebras, Oxford University Press, Oxford, 1987."},{"key":"129121_CR58","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1017\/S0305004100061284","volume":"95","author":"R. A. G. Seely","year":"1984","unstructured":"Seely, R. A. G.: Locally cartesian closed categories and type theory, Math. Proc. Cambridge Philosophical Soc.\n95(1984), 33-48.","journal-title":"Math. Proc. Cambridge Philosophical Soc."},{"issue":"4","key":"129121_CR59","doi-asserted-by":"crossref","first-page":"969","DOI":"10.2307\/2273831","volume":"52","author":"R. A. G. Seely","year":"1987","unstructured":"Seely, R. A. G.: Categorical semantics for higher order polymorphic lambda calculus, J. Symbolic Logic\n52(4) (1987), 969-989.","journal-title":"J. Symbolic Logic"},{"key":"129121_CR60","doi-asserted-by":"crossref","unstructured":"Srinivas, Y. Y. and J\u00fcllig, R.: SPECWARE\u2122: Formal support for composing software, Technical Report KES.U.94.5, Kestrel Institute, 1994.","DOI":"10.1007\/3-540-60117-1_22"},{"key":"129121_CR61","doi-asserted-by":"crossref","unstructured":"Wand, M.: Final algebra semantics and data type extensions, JCSS\n19(1979).","DOI":"10.1016\/0022-0000(79)90011-4"},{"key":"129121_CR62","unstructured":"Zilles, S. N.: Algebraic specification of data types, Technical Report 11, MIT Project MAP Progress Report, 1974."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008688122154.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008688122154\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008688122154.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:36:14Z","timestamp":1747578974000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008688122154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":62,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["129121"],"URL":"https:\/\/doi.org\/10.1023\/a:1008688122154","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}