{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:15Z","timestamp":1725663075170},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540185086"},{"type":"electronic","value":"9783540480068"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18508-9_27","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:36:08Z","timestamp":1330180568000},"page":"196-218","source":"Crossref","is-referenced-by-count":2,"title":["Viewing implementations as an institution"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Angelika","family":"Vo\u00df","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","unstructured":"Burstall, R.M., Goguen, J.A.: Putting Theories together to Make Specifications. Proc. 5th IJCAI, 1977, pp. 1045\u20131058."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Copenhagen. LNCS Vol.86, pp. 292\u2013332.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"11_CR3","unstructured":"Beierle, C., Olthoff, W., Vo\u00df, A.: Towards a formalization of the software development process. Proc. Software Engineering '86, Southampton, UK, 1986."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Beierle, C., Vo\u00df, A.: Implementation specifications. In: H.-J. Kreowski (ed): Recent Trends in Data Type Specifications, Informatik Fachberichte 116, Springer, 1985.","DOI":"10.1007\/978-3-662-09691-8_5"},{"key":"11_CR5","unstructured":"Beierle, C., Vo\u00df, A.: Algebraic Specifications and Implementations in an Integrated Software Development and Verification System, Memo SEKI-85-12, FB Informatik, Univ. Kaiserslautern, (joint SEKI-Memo containing the Ph.D. thesis by C. Beierle and the Ph.D. thesis by A. Vo\u00df), Dec. 1985."},{"key":"11_CR6","unstructured":"Beierle, C., Vo\u00df, A.: On implementations of loose abstract data type specifications and their vertical composition. Proc. 4th STACS, LNCS, Vol. 247, 1987."},{"key":"11_CR7","unstructured":"Beierle, C., Vo\u00df, A.: Theory and practice of canonical term functors in abstract data type specifications. Proc. TAFSOFT '87, Pisa. LNCS, Vol. 250, 1987."},{"key":"11_CR8","unstructured":"CIP Language Group: The Munich Project CIP. Vol. I: The Wide Spectrum Language CIP-L. LNCS, VOL. 183, 1985."},{"issue":"1","key":"11_CR9","doi-asserted-by":"crossref","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 Parametrization of Abstract Data Types. JACM Vol. 29, No. 1, Jan. 1982, pp. 206\u2013227.","journal-title":"JACM"},{"key":"11_CR10","first-page":"1","volume":"112","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H.: Algebraic Theory of Parameterized Specifications with Requirements, Proc. 6th Colloquium on Trees in Algebra and Programming (E. Astesiano, C. B\u00f6hm, eds.), LNCS 112, pp. 1\u201324, 1981.","journal-title":"LNCS"},{"key":"11_CR11","first-page":"197","volume":"140","author":"H. Ehrig","year":"1982","unstructured":"Ehrig, H., Kreowski, H.-J.: Parameter Passing Commutes with Implementation of Parameterized Data Types, PROC. 9th ICALP, LNCS 140, pp. 197\u2013211, 1982.","journal-title":"LNCS"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.-J.: Compatibility of parameter passing and implementation of parameterized data types. TU Berlin, FB Informatik, 1982.","DOI":"10.1007\/BFb0012770"},{"key":"11_CR13","first-page":"231","volume":"88","author":"H. Ehrig","year":"1980","unstructured":"Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P.: Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. Proc. 9th MFCS (P. Dembinski, ed.), LNCS 88, Springer-Verlag, Berlin 1980, pp. 231\u2013245.","journal-title":"LNCS"},{"key":"11_CR14","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H. Ehrig","year":"1982","unstructured":"Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P.: Algebraic Implementation of Abstract Data Types. Theoretical Computer Science Vol. 20, 1982, pp. 209\u2013254, (also:) Bericht Nr. 80-32, Fachbereich Informatik, Techn. Univ. Berlin 1980.","journal-title":"Theoretical Computer Science"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.: fundamentals of Algebraic Specifications 1 \u2014 Equations and Initial Semantics, Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"issue":"3","key":"11_CR16","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1145\/2166.357212","volume":"5","author":"H. Ganzinger","year":"1983","unstructured":"Ganzinger, H.: Parameterized Specifications: Parameter Passing and Implementation with respect to Observability. ACM TOPLAS Vol. 5, No.3, July 1983, pp. 318\u2013354.","journal-title":"ACM TOPLAS"},{"key":"11_CR17","unstructured":"Goguen, J.A., Burstall, R.M.: CAT, a system for the structured elaboration of correct programs from struc-tured specifications. SRI International, Technical Report CSL-118, Oct. 1980."},{"key":"11_CR18","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Program Specification. SRI International and University of Edinburgh, January 1983, revised 1985. (see also Proc. Logics of Programming Workshop, LNCS, Vol. 164, 1984."},{"issue":"1","key":"11_CR19","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(84)90134-8","volume":"31","author":"J.A. Goguen","year":"1984","unstructured":"Goguen, J.A., Burstall, R.M.: Some Fundamental Algebraic Tools for the Semantics of Computation. TCS, Vol 31, No. (1,2) pp. 175\u2013209 (Part 1) and No. (3), pp. 263\u2013295 (Part 2), 1984.","journal-title":"TCS"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Burstall, R.M.: A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments. In: D. Pitt, A. Poigne, D. Rydeheard (eds): Category Theory and Computer Programming. LNCS, Vol. 240, 1986.","DOI":"10.1007\/3-540-17162-2_131"},{"key":"11_CR21","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. 9th ICALP (M. Nielsen\/E.M. Schmidt, eds.), LNCS 140, Springer-Verlag, Berlin 1982, pp. 265\u2013281.","journal-title":"LNCS"},{"key":"11_CR22","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 Methodlogy, Vol.4, Data Structuring (ed. R. Yeh), Prentice-Hall, 1978, pp. 80\u2013144. also: IBM Research Report RC 6487, 1976."},{"key":"11_CR23","volume-title":"Initial algebraic specifications of data types, parameterized data types, and algorithms","author":"U.L. Hupbach","year":"1980","unstructured":"Hupbach, U.L., Kaphengst, H., Reichel, H.: Initial algebraic specifications of data types, parameterized data types, and algorithms. VEB Robotron, Zentrum f\u00fcr Forschung und Technik, Dresden, 1980."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Proof of Correctness of Data Representations. Acta Informatica 1 (4), 1972.","DOI":"10.1007\/BF00289507"},{"key":"11_CR25","unstructured":"Hupbach, U.L.: Abstract implementation and parameter substitution. Proc. 3rd Hungarian Computer Science Conference, Budapest, 1981."},{"key":"11_CR26","unstructured":"Lipeck, U.: Ein algebraischer Kalk\u00fcl f\u00fcr einen strukturierten Entwurf von Datenabstraktionen. Dissertation. Bericht Nr. 148, Universit\u00e4t Dortmund, 1983."},{"key":"11_CR27","unstructured":"Schoett, O.: A theory of program modules, their specification and implementation. Draft report, CSR-155-83, Univ. of Edinburgh."},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Sannella, D.T., Tarlecki, A.: Building specifications in an arbitrary institution. Symp. Semantics of Data Types, LNCS, Vol. 173, 1984.","DOI":"10.1007\/3-540-13346-1_17"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Sannella, D.T., Tarlecki, A.: Toward formal development of programs from algebraic specifications: Implementations revisited. Proc. TAPSOFT '87, LNCS, Vol. 249, 1987.","DOI":"10.1007\/3-540-17660-8_50"},{"key":"11_CR30","first-page":"473","volume":"140","author":"D.T. Sannella","year":"1982","unstructured":"Sannella, D.T., Wirsing, M.: Implementation of parameterized specifications, Proc. 9th ICALP 1982, LNCS Vol. 140, pp 473\u2013488.","journal-title":"LNCS"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Sannella, D.T., Wirsing, M.: Implementation of parameterized specifications, Report CSR-103-82, Univ. of Edinburgh, 1982.","DOI":"10.1007\/BFb0012793"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Sannella, D., Wirsing, M.: A kernel language for algebraic specification and implementation. Proc. Intl. Conf. on Foundations of Computing Theory, LNCS 158, 1983","DOI":"10.1007\/3-540-12689-9_122"},{"issue":"4","key":"11_CR33","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J.W. Thatcher","year":"1982","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques. ACM TOPLAS Vol. 4, No. 4, Oct. 1982, pp. 711\u2013732.","journal-title":"ACM TOPLAS"},{"key":"11_CR34","unstructured":"Urbassek, C.: Ein Implementierungskonzept f\u00fcr ASPIK-Spezifikationen und Korrektheitskriterien. Diplomarbeit, Univ. Kaiserslautern, FB Informatik, 1985."},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Wand, M.: Final algebra semantics and data type extensions. J. Comp. Syst. Sci. 19, 1979.","DOI":"10.1016\/0022-0000(79)90011-4"},{"key":"11_CR36","volume-title":"Structured algebraic specifications: a kernel language","author":"M. Wirsing","year":"1983","unstructured":"Wirsing, M.: Structured algebraic specifications: a kernel language. Habilitation, TU M\u00fcnchen, 1983."},{"key":"11_CR37","volume-title":"A Look at Algebraic Specifications. RJ 3568 (41985)","author":"S.N. Zilles","year":"1982","unstructured":"Zilles, S.N., Lucas, P., Thatcher, J.W.: A Look at Algebraic Specifications. RJ 3568 (41985), IBM Research Division Yorktown Heights, New York, 1982."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18508-9_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T21:10:52Z","timestamp":1640898652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18508-9_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540185086","9783540480068"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-18508-9_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}