{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:32Z","timestamp":1725663032354},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540114901"},{"type":"electronic","value":"9783540391760"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11490-4_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:42:27Z","timestamp":1330191747000},"page":"322-369","source":"Crossref","is-referenced-by-count":13,"title":["Parameter passing in algebraic specification languages"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Thatcher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesse","family":"Wright","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"21_CR1","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright: Abstract data types as initial algebras and correctness of data representations; Proc. Conf. on Computer Graphics, Pattern Recognition and Data Structure, May 75, pp. 89\u201393"},{"key":"21_CR2","unstructured":"J.W. Thatcher, E.G. Wagner, J.B. Wright: Specification of abstract data types using conditional axioms, IBM Research Report RC-6214, Sept. 1976"},{"key":"21_CR3","series-title":"IBM Research Report","first-page":"80","volume-title":"Current Trends in Programming Methodology, IV: Data Structuring","author":"J. A. Goguen","year":"1978","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra appraoch 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":"21_CR4","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1145\/800133.804340"},{"key":"21_CR5","first-page":"157","volume":"85","author":"H. Ehrig","year":"1980","unstructured":"H. Ehrig, H.-J. Kreowski, J.W. Thatcher, E.G. Wagner, J.B. Wright: Parameterized data types in algebraic specification languages (short version), Proc. 7th ICALP Nordwijkerhout, July 1980: Lect. Not. in Comp. Sci. 85 (1980), pp. 157\u2013168","journal-title":"Proc. 7th ICALP Nordwijkerhout, July 1980: Lect. Not. in Comp. Sci."},{"key":"21_CR6","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":"21_CR7","volume-title":"Putting Theories together to make Specifications, Proc. 1977 IJCAI, MIT","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":"21_CR8","unstructured":"\u2014: Semantics of CLEAR, Working Note \u2014 Draft Version, Dept. of Artificial Intelligence, Edinburgh University, Jan. 1979"},{"key":"21_CR9","unstructured":"\u2014: The Semantics of CLEAR, a Specification Language, Proc. 1979 Copenhagen Winter School on Abstract Software Specifications (1980), Lect. Not. in Comp. Sci. (1980)"},{"key":"21_CR10","volume-title":"Universal Algebra","author":"P. M. Cohn","year":"1965","unstructured":"Cohn, P.M.: Universal Algebra, Harper and Row, New York, 1965"},{"key":"21_CR11","unstructured":"Ehrich, H.-D.: On the theory of specification, implementation and parameterization of abstract data types, Research Report Dortmund 1978"},{"key":"21_CR12","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. Com. 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. Com. Sci. and Biology, Bad Honnef 1978, Lect. Not. in Comp. Sci."},{"key":"21_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-10828-9_51","volume":"112","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H.: Algebraic Theory of Parameterized Specifications with Requirements, Proc. 6th CAAP, Genova 81, Lect. Not. in Comp. Sci. 112 (1981), pp. 1\u201324","journal-title":"Proc. 6th CAAP, Genova 81, Lect. Not. in Comp. Sci."},{"key":"21_CR14","unstructured":"Ehrig, H., Fey, W.: Methodology for the specification of software systems: From requirement specifications to algebraic design specifications, Proc. GI 81, M\u00fcnchen"},{"key":"21_CR15","unstructured":"Ehrig, H., Kreowski, H.-J.: Kategorien und Funktoren, LV-Skript SS 1980, FB 20, TU Berlin (1980)"},{"key":"21_CR16","unstructured":"Ehrig, H., Kreowski, H.-J., Padawitz, P.: Some remarks concerning correct specification and implementation of abstract data types: Technical University of Berlin, Report 77-13, August 1977"},{"key":"21_CR17","first-page":"205","volume":"62","author":"H. Ehrig","year":"1978","unstructured":"\u2014: 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":"Proc. 5th ICALP, Udine, July 1978: Lect. Not. in Comp. Sci."},{"key":"21_CR18","first-page":"142","volume":"85","author":"H. Ehrig","year":"1980","unstructured":"\u2014: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics, Correctness; Proc. 7th ICALP, Nordwijkerhout, July 1980, Lect. Notes in Comp. Sci. 85 (1980), pp. 142\u2013156","journal-title":"Proc. 7th ICALP, Nordwijkerhout, July 1980, Lect. Notes in Comp. Sci."},{"key":"21_CR19","unstructured":"Fey, W.: Some Examples of Algebraic Specifications and Implementation, Part 4, Technical University of Berlin, Report No. 81-, 1981"},{"key":"21_CR20","unstructured":"Floyd, Ch.: Proc. 2nd German Chapter of The ACM-Meeting \"Software Engineering \u2014 Entwurf und Spezifikation\" (editor), Teubner Verlag 1981"},{"key":"21_CR21","unstructured":"Ganzinger, H.: Parameterized Specifications: Parameter Passing and Implementation, version Sept. 1980, to appear in TOPLAS"},{"key":"21_CR22","unstructured":"\u2014: A final algebra semantics for parameterized specifications, draft version, UC Berkeley, November 1980"},{"key":"21_CR23","volume-title":"OBJ-O preliminary users manual","author":"J. A. Goguen","year":"1977","unstructured":"Goguen, J.A., Tardo, J.: OBJ-O preliminary users manual; UCLA, Los Angeles, CA., 1977"},{"key":"21_CR24","unstructured":"Graetzer, G.: Universal Algebra, Van Nostrand, Princeton, N.J. 1968"},{"key":"21_CR25","unstructured":"Guttag, J.V.: The specification and application to programming of abstract data types; Univ. of Toronto, Comp. Systems Research Group, Technical Report CSRG-59, Sept. 1975"},{"key":"21_CR26","unstructured":"\u2014: Abstract data types and the development of data structures; supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March 1976"},{"key":"21_CR27","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-10828-9_65","volume":"112","author":"G. Hornung","year":"1981","unstructured":"Hornung, G., Raulefs, P.: Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specification with Inequalities, Proc. 6th CAAP, Genova 81, Lect. Not. in Comp. Sci. 112 (1981), pp. 224\u2013237","journal-title":"Proc. 6th CAAP, Genova 81, Lect. Not. in Comp. Sci."},{"key":"21_CR28","volume-title":"Category Theory","author":"H. Herrlich","year":"1973","unstructured":"Herrlich, H., Strecker, G.: Category Theory, Allyn and Bacon, Rockleigh 1973"},{"key":"21_CR29","unstructured":"Hupbach, U.L.: Abstract Implementation and Parameter Substitution, submitted to 3rd Hungarian Comp. Sci. Conf., Budapest 1981"},{"key":"21_CR30","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":"21_CR31","doi-asserted-by":"crossref","unstructured":"Jenks, R.D., Trager, M.B.: A language for computer algebra, Proc. 1981 ACM Symp. on Symbolic and Algebraic Computation, August, 1981","DOI":"10.1145\/800206.806363"},{"key":"21_CR32","unstructured":"Klaeren, H.A.: On Parameterized Abstract Software Modules using Inductively Specified Operations, Research Report TH Aachen Nr. 66, (1980)"},{"key":"21_CR33","unstructured":"Kreowski, H.-J.: Algebra f\u00fcr Informatiker; LV-Skript WS 78\/79, FB 20, TU Berlin (1978)"},{"issue":"8","key":"21_CR34","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/359763.359789","volume":"20","author":"B. Liskov","year":"1977","unstructured":"Liskov, B., Snyder, A., Atkonson, R., Schaffert, C.: Abstraction Mechanisms in CLU; CACM 20, Nr. 8 (1977), pp. 564\u2013576","journal-title":"CACM"},{"issue":"4","key":"21_CR35","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B. Liskov","year":"1977","unstructured":"Liskov, B., Zilles, St.: Programming with abstract data types; SIGPLAN Notices 9, Nr. 4 (1977), pp. 50\u201359","journal-title":"SIGPLAN Notices"},{"key":"21_CR36","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S.: Categories for the Working Mathematician; Springer Verlag, New York\/Heidelberg\/Berlin 1971"},{"key":"21_CR37","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":"21_CR38","unstructured":"Scott, D.: Mathematical concepts in programming language semantics; Proc. AFIPS Spring Joint Comp. Conf., 1962, pp.225\u2013234"},{"key":"21_CR39","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."},{"key":"21_CR40","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1109\/TSE.1976.233830","volume":"24","author":"W. A. Wulf","year":"1976","unstructured":"Wulf, W.A., London, R.L., Shaw, M.: An introduction to the construction and verification of Alphard programs: IEEE Transactions on Software Engineering SE 24 (1976), pp. 253\u2013265","journal-title":"IEEE Transactions on Software Engineering SE"}],"container-title":["Lecture Notes in Computer Science","Program Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11490-4_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:04:48Z","timestamp":1605643488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11490-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540114901","9783540391760"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-11490-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}