{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:40:24Z","timestamp":1742589624161,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108283"},{"type":"electronic","value":"9783540387169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10828-9_51","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:25:27Z","timestamp":1330190727000},"page":"1-24","source":"Crossref","is-referenced-by-count":18,"title":["Algebraic theory of parameterized specifications with requirements"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"1_CR1","first-page":"80","volume-title":"Current Trends in Programming Methodology, IV: Data Structuring","author":"J. A. Goguen","year":"1978","unstructured":"(JAG,JWT,EGW): An initial algebra approach to the specification, correctness, and implementation of abstract data types, IBM Research Report RC-6487, Oct 1976. Current Trends in Programming Methodology, IV: Data Structuring (R.T. Yeh, Ed.) Prentice Hall, New Jersey (1978), pp. 80\u2013149"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"(JWT,EGW,JBW) J.W. Thatcher, E.G.Wagner, J.B. Wright: Data Type Specification: parameterization and the power of specification techniques, Proc. SIGACT 10th Annual Symp. on Theory of Computing, May 1978, pp. 119\u2013132, revised version in IBM Research Report RC-7757 (1979)","DOI":"10.1145\/800133.804340"},{"key":"1_CR3","unstructured":"(HE,HJK,JWT,EGW,JBW) H. Ehrig, H.-J. Kreowski, J.W. Thatcher, E.G. Wagner, J.B. Wright: Parameterized data types in algebraic specification languages, Proc. 7th ICALP Nordwijkerhout, July 1980: Lect. Not. in Comp. Sci. (1980), pp. 157\u2013168"},{"key":"1_CR4","unstructured":"(HE,HJK,JWT,EGW,JBW) H. Ehrig, H.-J. Kreowski, J.W. Thatcher, E.G. Wagner, J.B. Wright: Parameter passing in algebraic specification languages, Draft Version, TU Berlin, March 1980"},{"key":"1_CR5","volume-title":"Arrows, Structures and Functors: The categorical imperative","author":"M.A. Arbib","year":"1975","unstructured":"Arbib, M.A., Manes, E.G.: Arrows, Structures and Functors: The categorical imperative, Academic Press, New York, 1975"},{"key":"1_CR6","volume-title":"Putting Theories together to make Specifications, Proc. 1977 IJCAI","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M., Goguen, J.A.: Putting Theories together to make Specifications, Proc. 1977 IJCAI, MIT, Cambridge, MA, Aug. 1977"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., Goguen, J.A.: The Semantics of CLEAR, a Specification Language, Proc. 1979 Copenhagen Winter School on Abstract Software Specifications (1980)","DOI":"10.1007\/3-540-10007-5_41"},{"key":"1_CR8","unstructured":"Ehrich, H.-D.: On the theory of specification, implementation and parameterization of abstract data types, Research Report, Dortmund 1978"},{"key":"1_CR9","first-page":"180","volume":"73","author":"H.-D. Ehrich","year":"1979","unstructured":"Ehrich, H.-D., Lohberger, V.G.: Constructing Specifications of Abstract Data Types by Replacements, Proc. Int. Workshop Graph Grammars and Appl. Comp. Sci. and Biology, Bad Honnef 1978, Lect. Not. in Comp. Sci. 73 (1979), pp. 180\u2013191","journal-title":"Proc. Int. Workshop Graph Grammars and Appl. Comp. Sci. and Biology, Bad Honnef 1978, Lect. Not. in Comp. Sci."},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-08860-1_16","volume":"62","author":"H. Ehrig","year":"1978","unstructured":"Ehrig, H., Kreowski, H.-J., Padawitz, P.: Stepwise specification and implementation of abstract data types: Technical University of Berlin, Report, Nov. 1977. Proc. 5th ICALP, Udine, July 1978: Lect. Not. in Comp. Sci. 62 (1978), pp. 205\u2013226","journal-title":"Lect. Not. in Comp. Sci."},{"key":"1_CR11","unstructured":"\u2014: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics, Correctness; Proc. 7th ICALP, Nordwijkerhout, July 1980, Lect. Not. in Comp. Sci. (1980)"},{"key":"1_CR12","unstructured":"Floyd, Ch.: Proc. 2nd German Chapter of The ACM-Meeting \"Software Engineering \u2014 Entwurf und Spezifikation\" (editor), Teubner Verlag 1981"},{"key":"1_CR13","unstructured":"Ganzinger, H.: Parameterized Specifications: Parameter Passing and Implementation, version Sept.1980, to appear in TOPLAS"},{"key":"1_CR14","unstructured":"\u2014: A Final Algebra Semantics for Parameterized Specifications, Draft Version, UC Berkeley, November 1980"},{"key":"1_CR15","unstructured":"Hornung, G., Raulefs, P.: Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specification with Inequalities (this volume)"},{"key":"1_CR16","unstructured":"Hupbach, U.L.: Abstract Implementation and Parameter Substitution, submitted to 3rd Hungarian Comp. Sci. Conf., Budapest 1981"},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1007\/3-540-09519-5_96","volume":"72","author":"R.D. Jenks","year":"1979","unstructured":"Jenks, R.D.: MODLISP: An Introduction, Lect. Not. in Comp. Sci. 72 (1979), pp. 466\u2013480, new version in preparation","journal-title":"Lect. Not. in Comp. Sci."},{"key":"1_CR18","unstructured":"Klaeren, H.A.: On Parameterized Abstract Software Modules using Inductively Specified Operations, Research Report TH Aachen Nr.66, (1980)"},{"key":"1_CR19","unstructured":"Kreowski, H.-J.: Algebra f\u00fcr Informatiker; LV-Skript WS 78\/79, FB 20, TU Berlin (1978)"},{"key":"1_CR20","first-page":"504","volume":"88","author":"H. Reichel","year":"1980","unstructured":"Reichel, H.: Initially Restricting Algebraic Theories, Proc. MFCS'80, Rydzyna, Sept. 1980, Lect. Not. in Comp. Sci. 88 (1980), pp. 504\u2013514","journal-title":"Proc. MFCS'80, Rydzyna, Sept. 1980, Lect. Not. in Comp. Sci."},{"key":"1_CR21","first-page":"673","volume":"88","author":"M. Wirsing","year":"1980","unstructured":"Wirsing, M., Broy M.: Abstract Data Types as Lattices of Finitely Generated Models, Proc. MFCS'80, Rydzyna, Sept. 1980, Lect. Not. in Comp. Sci. 88 (1980), pp. 673\u2013685","journal-title":"Proc. MFCS'80, Rydzyna, Sept. 1980, Lect. Not. in Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","CAAP '81"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10828-9_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:12:23Z","timestamp":1742587943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10828-9_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108283","9783540387169"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-10828-9_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}