{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:23:55Z","timestamp":1725459835933},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354017219X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039610","type":"book-chapter","created":{"date-parts":[[2006,1,31]],"date-time":"2006-01-31T16:55:52Z","timestamp":1138726552000},"page":"245-259","source":"Crossref","is-referenced-by-count":1,"title":["On implementations of loose abstract data type specifications and their vertical composition"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Angelika","family":"Vo\u00df","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","first-page":"193","volume":"118","author":"J.A. Bergstra","year":"1981","unstructured":"Bergstra, J.A., Broy, M., Tucker, J.V., Wirsing, M.: On the power of algebraic specifications. Proc. 10th MFCS, LNCS Vol. 118, pp. 193\u2013204, 1981.","journal-title":"Proc. 10th MFCS, LNCS"},{"key":"20_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, LNCS Vol.86, pp. 292\u2013332.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"20_CR3","unstructured":"Beierle,C., Olthoff, W., Vo\u00df, A.: Towards a formalization of the software development process. Proc. Software Engineering '86, Southampton, 1986."},{"key":"20_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":"20_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."},{"issue":"1","key":"20_CR6","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":"20_CR7","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":"20_CR8","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. Theor. Computer Science Vol. 20, 1982, pp. 209\u2013254.","journal-title":"Theor. Computer Science"},{"key":"20_CR9","unstructured":"Ehrig, H., Wagner, E., Thatcher, J.: Algebraic Constraints for specifications and canonical form results. Draft version, TU Berlin, June 1982."},{"issue":"3","key":"20_CR10","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":"20_CR11","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Program Specification. SRI International and University of Edinburgh, 1983, revised 1985."},{"key":"20_CR12","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, LNCS 140, 1982, pp. 265\u2013281.","journal-title":"Proc. 9th ICALP, LNCS"},{"key":"20_CR13","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."},{"key":"20_CR14","first-page":"291","volume":"88","author":"U.L. Hupbach","year":"1980","unstructured":"Hupbach, U.L.: Abstract implementation of abstract data types. Proc. 9th MFLS, Rydzyna, Poland. LNCS, Vol. 88, pp. 291\u2013304, 1980.","journal-title":"Proc. 9th MFLS, Rydzyna, Poland. LNCS"},{"key":"20_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":"20_CR16","unstructured":"Lipeck, U.: Ein algebraischer Kalk\u00fcl f\u00fcr einen strukturierten Entwurf von Datenabstraktionen. Dissertation. Bericht Nr. 148, Universit\u00e4t Dortmund, 1983."},{"key":"20_CR17","unstructured":"Schoett, O.: A theory of program modules, their specification and implementation. Draft report, Univ. of Edinburgh, 1982."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Sannella, D.T., Wirsing, M.: Implementation of parameterized specifications, Proc. 9th ICALP 1982, LNCS Vol. 140, pp 473\u2013488.","DOI":"10.1007\/BFb0012793"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Sannella, D., Wirsing, M.: A kernel language for algebraic specification and implementation. Proc. FCT, LNCS Vol. 158, 1983.","DOI":"10.1007\/3-540-12689-9_122"},{"issue":"4","key":"20_CR20","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":"20_CR21","unstructured":"Urbassek, C.: Ein Implementierungskonzept f\u00fcr ASPIK-Spezifikationen und Korrektheitskriterien. Diploma thesis, Univ. Kaiserslautern, 1985."}],"container-title":["Lecture Notes in Computer Science","STACS 87"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039610.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:25:50Z","timestamp":1607552750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039610"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354017219X"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0039610","relation":{},"subject":[]}}