{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:52Z","timestamp":1725456172188},"publisher-location":"Berlin\/Heidelberg","reference-count":27,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354017611X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0014989","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:02:53Z","timestamp":1132725773000},"page":"320-334","source":"Crossref","is-referenced-by-count":0,"title":["Theory and practice of canonical term functors in abstract data type specifications"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Angelika","family":"Voss","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Burstall, R.M., Goguen, J.A.: Putting Theories together to Make Specifications. Proc. 5th IJCAI, 1977, pp. 1045\u20131058."},{"key":"21_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":"21_CR3","unstructured":"Burstall, R.M., Goguen, J.A.: An informal introduction to specifications using Clear. in: The Correctness problem in Computer Science (Eds. R.S. Boyer, J.S. Moore). Academic Press 1981."},{"key":"21_CR4","unstructured":"Beierle, C., Olthoff, W., Vo\u00df, A.: Towards a formalization of the software development process. Proc. Software Engineering '86, Southampton, U.K. (Eds. D. Barnes, P. Brown). Peter Peregrinus Ltd., pp. 130\u2013144, 1986."},{"key":"21_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 Ch. Beierle and the Ph.D. thesis by A. Vo\u00df), Dec. 1985."},{"key":"21_CR6","unstructured":"Cartwright, R.: A constructive alternative to abstract data type definitions. Proc. 1980 LISP Conf., Stanford University, pp. 46\u201355, 1980."},{"key":"21_CR7","unstructured":"CIP Language Group: The Munich Project CIP, Vol. I: The Wide Spectrum Language CIP-L. LNCS, Vol. 183, 1985."},{"key":"21_CR8","first-page":"157","volume":"85","author":"H. Ehrig","year":"1980","unstructured":"Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E., Wright, J.: Parameterized data types in algebraic specification languages, Proc. 7th ICALP, LNCS Vol. 85, 1980, pp. 157\u2013168.","journal-title":"LNCS"},{"key":"21_CR9","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"},{"key":"21_CR10","unstructured":"Ehrig, H., Wagner, E., Thatcher, J.: Algebraic Constraints for specifications and canonical form results. Draft version, TU Berlin, June 1982."},{"key":"21_CR11","first-page":"188","volume":"154","author":"H. Ehrig","year":"1983","unstructured":"Ehrig, H., Wagner, E., Thatcher, J.: Algebraic specifications with generating constraints, Proc. ICALP 83, LNCS 154, 1983, pp. 188\u2013202.","journal-title":"LNCS"},{"key":"21_CR12","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Program Specification. Draft version. SRI International and University of Edinburgh, January 1983, revised 1985."},{"key":"21_CR13","first-page":"576","volume":"45","author":"V. Giarratana","year":"1976","unstructured":"Giarratana, V., Gimona, F., Montanari, V.: Observability concepts in abstract data type specifications. 5th MFCS, LNCS 45, 1976, pp. 576\u2013587.","journal-title":"LNCS"},{"key":"21_CR14","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 Methodology, Vol.4, Data Structuring (ed. R. Yeh), Prentice-Hall, 1978, pp. 80\u2013144. also: IBM Research Report RC 6487, 1976."},{"key":"21_CR15","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":"21_CR16","doi-asserted-by":"crossref","unstructured":"Kamin S.: Final data type specifications: a new data type specification method. 7th POPL, Las Vegas, 1979.","DOI":"10.1145\/567446.567459"},{"key":"21_CR17","unstructured":"Karl Mark G Raph: The Markgraf Karl Refutation Procedure. SEKI-Projekt, Memo SEKI-MK-34-01, Univ. Kaiserslautern, 1984."},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Klaeren, H.: Algebraische Spezifikation. Springer Verlag, 1983.","DOI":"10.1007\/978-3-642-69009-9"},{"issue":"2","key":"21_CR19","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(84)90062-8","volume":"30","author":"H. Klaeren","year":"1984","unstructured":"Klaeren, H.: A constructive method for abstract algebraic software specification. TCS, Vol.30, No. 2, pp. 139\u2013204, Aug. 1984.","journal-title":"TCS"},{"key":"21_CR20","unstructured":"Loeckx, J.: Algorithmic specifications: A constructive specification method for abstract data types. Bericht A 84\/03, Fachrichtung Informatik, Universit\u00e4t des Saarlandes, April 1984. (to appear in TOPLAS)"},{"key":"21_CR21","volume-title":"Proving the correctness of implementations by exclusive use of term algebras. Bericht Nr. 79-8","author":"P. Padawitz","year":"1979","unstructured":"Padawitz, P.: Proving the correctness of implementations by exclusive use of term algebras. Bericht Nr. 79-8, TU Berlin, Fachbereich Informatik, 1979."},{"key":"21_CR22","volume-title":"Correctness, Completeness, and Consistency of Equational Data Type Specifications","author":"P. Padawitz","year":"1983","unstructured":"Padawitz, P.: Correctness, Completeness, and Consistency of Equational Data Type Specifications. Dissertation, TU Berlin, Fachbereich Informatik, Bericht Nr. 83-15, 1983."},{"key":"21_CR23","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":"21_CR24","unstructured":"Thomas, Ch.: RRLab \u2014 Rewrite Rule Labor. Entwurf, Spezifikation und Implementierung eines Software-werkzeuges zur Erzeugung und Vervollst\u00e4ndigung von Rewrite-Rule Systemen. SEKI-Projekt, Memo SEKI-84-01, Univ. Kaiserslautern, FB Informatik, 1984."},{"issue":"4","key":"21_CR25","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":"21_CR26","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":"21_CR27","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","TAPSOFT '87"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0014989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:23:21Z","timestamp":1586579001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014989"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354017611X"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0014989","relation":{},"subject":[]}}