{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:45:58Z","timestamp":1747579558275},"reference-count":33,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5025,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1995,6]]},"abstract":"<jats:p>Categorical constructions inherent to a theory of algebras with strict partial operations are presented and exploited to provide a categorical deduction calculus for conditional existence equations and an alternative definition of such algebras based on the notion of syntactic categories. A compact presentation of the structural theory of parameterized (partial) specifications is given using the categorical approach. This theory is shown to be suitable for providing initial semantics as well as the compositionality results necessary for the definition of specification languages like<jats:italic>ACT ONE<\/jats:italic>and<jats:italic>ACT TWO<\/jats:italic><\/jats:p>","DOI":"10.1017\/s0960129500000700","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:00:54Z","timestamp":1236157254000},"page":"153-188","source":"Crossref","is-referenced-by-count":17,"title":["Categorical concepts for parameterized partial specifications"],"prefix":"10.1017","volume":"5","author":[{"given":"Ingo","family":"Cla\u00dfen","sequence":"first","affiliation":[]},{"given":"Martin","family":"Gro\u00dfE-Rhode","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000700_ref028","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial Computability, Algebraic Specifications, and Partial Algebras","author":"Reichel","year":"1987"},{"key":"S0960129500000700_ref018","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/092\/1003199"},{"key":"S0960129500000700_ref023","first-page":"869","volume-title":"Proc. National Academy of Science, U.S.A","author":"Lawvere","year":"1963"},{"key":"S0960129500000700_ref021","first-page":"41","volume-title":"Studien zur Algebra und ihren Anwendungen","author":"Kaphengst","year":"1972"},{"key":"S0960129500000700_ref016","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321997"},{"key":"S0960129500000700_ref027","first-page":"77","article-title":"Algebra categorically","volume":"240","author":"Poign\u00e9","year":"1985","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"S0960129500000700_ref017","first-page":"373","volume-title":"Colloquia Mathematica Societatis Janos Bolyai","author":"Hoehnke","year":"1977"},{"key":"S0960129500000700_ref014","unstructured":"Goguen J.-A. and Meseguer J. (1989) Order-sorted algebra I. Technical Report SRI-CSL-89\u201310, SRI."},{"key":"S0960129500000700_ref033","first-page":"85","article-title":"An Algebraic Approach to Deduction in Equational Partial Horn Theories","volume":"27","author":"Wolter","journal-title":"J. Inf. Process. EIK"},{"key":"S0960129500000700_ref019","unstructured":"Jay C. B. (1990) Extending properties to categories of partial maps. Technical Report LFCS 90\u2013107, University of Edinburgh, Laboratory for Foundations of Computer Science."},{"key":"S0960129500000700_ref007","unstructured":"Ehrig H. , Baldamus M. and Orejas F. (1991) New concepts for amalgamation and extension in the framework of specification logics. Technical Report 91\/05, Technische Universit\u00e4t Berlin."},{"key":"S0960129500000700_ref006","unstructured":"Cla\u00dfen I. (1993) Compositionality of Application Oriented Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. PhD thesis, Technische Universit\u00e4t Berlin."},{"key":"S0960129500000700_ref015","first-page":"80","volume-title":"Current Trends in Programming Methodology IV: Data Structuring","author":"Goguen","year":"1978"},{"key":"S0960129500000700_ref001","unstructured":"Burstall R. M. and Goguen J. A. (1977) Putting theories together to make specifications. In: Proc. Int. Conf. Artificial Intelligence."},{"key":"S0960129500000700_ref008","unstructured":"Ehrig H. , Fey W. and Hansen H. (1983) ACT ONE: An algebraic specification language with two levels of semantics. Technical Report 83\/03, Technische Universit\u00e4t Berlin."},{"key":"S0960129500000700_ref002","volume-title":"Mathematical Research - Mathematische Forschung","author":"Burmeister","year":"1986"},{"key":"S0960129500000700_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90134-8"},{"key":"S0960129500000700_ref010","unstructured":"Fey W. (1988) 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."},{"key":"S0960129500000700_ref005","unstructured":"Cla\u00dfen I. (1992) Towards Partial Algebra Semantics for Data Types in LOTOS. Technical Report Lo\/WPl\/T1.4\/TUB\/N0008\/Vl, LOTOSPHERE."},{"key":"S0960129500000700_ref024","volume-title":"Introduction to higher order categorical logic","author":"Lambek","year":"1986"},{"key":"S0960129500000700_ref013","first-page":"235","volume-title":"Tree Automata and Languages","author":"Gro\u00dfe-Rhode","year":"1992"},{"key":"S0960129500000700_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-12896-4_366"},{"key":"S0960129500000700_ref004","unstructured":"Cla\u00dfen I. , Gro\u00dfe-Rhode M. and Wolter U. (1992) Categorical concepts for parameterized partial specifications. Technical Report 92\u201346, Technische Universit\u00e4t Berlin."},{"key":"S0960129500000700_ref026","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90010-7"},{"key":"S0960129500000700_ref003","volume-title":"Category Theory for Computing Science","author":"Barr","year":"1990"},{"key":"S0960129500000700_ref022","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71104-2"},{"key":"S0960129500000700_ref025","first-page":"275","volume-title":"Logic colloquium","author":"Meseguer","year":"1989"},{"key":"S0960129500000700_ref029","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90034-X"},{"key":"S0960129500000700_ref030","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100061284"},{"key":"S0960129500000700_ref031","doi-asserted-by":"publisher","DOI":"10.2307\/2273831"},{"key":"S0960129500000700_ref020","volume-title":"Topos Theory","author":"Johnstone","year":"1977"},{"key":"S0960129500000700_ref032","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90094-5"},{"key":"S0960129500000700_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-50325-0_2"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T07:03:44Z","timestamp":1684911824000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000700\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["S0960129500000700"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000700","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}