{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:55Z","timestamp":1725662935482},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133469"},{"type":"electronic","value":"9783540388913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:05:08Z","timestamp":1330193108000},"page":"337-356","source":"Crossref","is-referenced-by-count":22,"title":["Building specifications in an arbitrary institution"],"prefix":"10.1007","author":[{"given":"Donald","family":"Sannella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Tarlecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"17_CR1","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. IBM research report RC 6487. Also in: Current Trends in Programming Methodology. Vol. 4: Data Structuring (R. T. Yeh, ed.). Prentice-Hall. pp. 80\u2013149 (1978)."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G. and Wright, J.B. Initial algebra semantics and continuous algebras. JACM 24, 1 pp. 68\u201395.","DOI":"10.1145\/321992.321997"},{"key":"17_CR3","unstructured":"Ehrig, H., Kreowski, H.-J., Thatcher, J.W., Wagner, E.G. and Wright, J.B. Parameterized data types in algebraic specification languages (short version). Proc. 7th ICALP. Noordwijkerhout, Netherlands. Springer LNCS 85."},{"key":"17_CR4","unstructured":"Arbib, M.A. and Manes, E.G. Arrow, Structures and Functors: the Categorical Imperative. Academic Press."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Barwise, K.J. Axioms for abstract model theory. Annals of Math. Logic 7 pp. 221\u2013265.","DOI":"10.1016\/0003-4843(74)90016-3"},{"key":"17_CR6","unstructured":"Bauer, F.L. et al (the CIP Language Group) Report on a wide spectrum language for program specification and development (tentative version). Report TUM-18104, Technische Univ. M\u00fcnchen."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Benecke, K. and Reichel, H. Equational partiality. Algebra Universalis 16 pp. 219\u2013232.","DOI":"10.1007\/BF01191770"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A. and Meyer, J.J. I\/O computable data structures. SIGPLAN Notices 16, 4 pp. 27\u201332.","DOI":"10.1145\/988131.988134"},{"key":"17_CR9","unstructured":"Bloom, S.L. and Wagner, E.G. Many-sorted theories and their algebras, with examples from computer science (Working paper). US-French Joint Symp. on the Applications of Algebra to Language Definition and Compilation, Fontainebleau."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Broy, M. and Wirsing, M. Partial abstract types. Acta Informatica 18 pp. 47\u201364.","DOI":"10.1007\/BF00625280"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Burmeister, P. Partial algebras \u2014 survey of a unifying approach towards a two-valued model theory for partial algebras. Algebra Universalis 15 pp. 306\u2013358.","DOI":"10.1007\/BF02483730"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Burstall, R.M. and Goguen, J.A. The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Copenhagen. Springer LNCS 86, pp. 292\u2013332.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"17_CR13","unstructured":"Burstall, R.M. and Goguen, J.A. An informal introduction to specifications using Clear. In: The Correctness Problem in Computer Science (R.S. Boyer and J.S. Moore eds.), Academic Press. pp. 185\u2013213."},{"key":"17_CR14","unstructured":"Ehrig, H., Thatcher, J.W., Lucas, P. and Zilles, S.N. Denotational and initial algebra semantics of the algebraic specification language LOOK. Draft report, IBM research."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Wagner, E.G. and Thatcher, J.W. Algebraic specifications with generating constraints. Proc. 10th ICALP. Barcelona. Springer LNCS 154, pp. 188\u2013202.","DOI":"10.1007\/BFb0036909"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Giarratana, V., Gimona, F. and Montanarl, U. Observability concepts in abstract data type specification. Proc. 5th MFCS, Gdansk. Springer LNCS 45.","DOI":"10.1007\/3-540-07854-1_231"},{"key":"17_CR17","unstructured":"Gogolla, M., Drosten, K., Lipeck, U. and Ehrich, H.D. Algebraic and operational semantics of specifications allowing exceptions and errors. Fb. 140, Abteilung Informatik. Univ. of Dortmund."},{"key":"17_CR18","unstructured":"Goguen, J.A. Abstract errors for abstract data types. Proc. IFIP Working Conf. on the Formal Description of Programming Concepts, New Brunswick, New Jersey."},{"key":"17_CR19","unstructured":"Goguen, J.A. Order sorted algebras: exceptions and error sorts, coercions and overloaded operators. Semantics and Theory of Computation Report No. 14, Dept. of Computer Science, UCLA."},{"key":"17_CR20","unstructured":"Goguen, J.A. and Burstall, R.M. Some fundamental algebraic tools for the semantics of computation. Research Report No. 5. Dept. of Artificial Intelligence. Univ. of Edinburgh: to appear in TCS."},{"key":"17_CR21","unstructured":"Goguen, J.A. and Burstall, R.M. Introducing institutions. Proc. Logics of Programming Workshop (E. Clarke, ed.), CMU."},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Goguen, J.A. and Meseguer, J. Universal realization, persistent interconnection and implementation of abstract modules. Proc. 9th ICALP, Aarhus, Denmark. Springer LNCS 140, pp. 265\u2013281.","DOI":"10.1007\/BFb0012775"},{"key":"17_CR23","unstructured":"Goguen, J.A. and Meseguer, J. An initiality primer. Draft report. SRI International."},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Kamin, S. Final data types and their specification. TOPLAS 5, 1 pp. 97\u2013121.","DOI":"10.1145\/357195.357202"},{"key":"17_CR25","unstructured":"Liskov, B.H. and Berzins, V. An appraisal of program specifications. Computation Structures Group memo 141-1, Laboratory for Computer Science, MIT."},{"key":"17_CR26","unstructured":"MacLane, S. Categories for the Working Mathematician. Springer."},{"key":"17_CR27","unstructured":"Mahr, B. and Makowsky, J.A. Characterizing specification languages which admit initial semantics. To appear in TCS."},{"key":"17_CR28","unstructured":"Pepper, P. On the correctness of type transformations. Talk at 2nd Workshop on Theory and Applications of Abstract Data Types, Passau."},{"key":"17_CR29","unstructured":"Reichel, H. Behavioural equivalence \u2014 a unifying concept for initial and final specification methods. Proc. 3rd Hungarian Computer Science Conf., Budapest. pp. 27\u201339."},{"key":"17_CR30","unstructured":"Reichel, H. Structural induction on partial algebras. Akademie-Verlag. Berlin."},{"key":"17_CR31","unstructured":"Sannella, D.T. Behavioural equivalence and algebraic specification (extended abstract). Workshop on Semantics of Programming Languages. Goteborg, pp. 162\u2013166."},{"key":"17_CR32","doi-asserted-by":"crossref","unstructured":"Sannella, D.T. and Wirsing, M. A kernel language for algebraic specification and implementation. Long version: Report CSR-131-83. Dept. of Computer Science, Univ. of Edinburgh: Extended abstract in: Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden, Springer LNCS 158, pp. 413\u2013427.","DOI":"10.1007\/3-540-12689-9_122"},{"key":"17_CR33","unstructured":"Schoett, O. A theory of program modules, their specification and implementation (extended abstract). Report CSR-155-83, Dept. of Computer Science, Univ. of Edinburgh."},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Sufrin, B. Formal specification of a display-oriented text editor. Science of Computer Programming 1 pp. 157\u2013202.","DOI":"10.1016\/0167-6423(82)90014-4"},{"key":"17_CR35","unstructured":"Tarlecki, A. Free constructions in algebraic institutions. Long version: Report CSR-149-83, Dept. of Computer Science, Univ. of Edinburgh: Extended abstract in: Proc. MFCS 84. Prague. Springer LNCS (to appear)."},{"key":"17_CR36","unstructured":"Tarlecki, A. Free constructions in abstract algebraic institutions. Draft report, Univ. of Edinburgh."},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"Wand, M. Final algebra semantics and data type extensions. JCSS 19 pp. 27\u201344.","DOI":"10.1016\/0022-0000(79)90011-4"},{"key":"17_CR38","unstructured":"Wirsing, M. Structured algebraic specifications. Proc. AFCET Symp. on Mathematics for Computer Science, Paris, pp. 93\u2013107."},{"key":"17_CR39","unstructured":"Wirsing, M. Structured algebraic specifications: a kernel language. Habilitation thesis. Technische Univ. M\u00fcnchen."},{"key":"17_CR40","unstructured":"Zilles, S.N., Lucas, P. and Thatcher, J.W. A look at algebraic specifications. IBM research report RJ 3568."}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:23Z","timestamp":1605643643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}