{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:07Z","timestamp":1725663727035},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566106"},{"type":"electronic","value":"9783540475989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56610-4_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:21:57Z","timestamp":1330255317000},"page":"31-45","source":"Crossref","is-referenced-by-count":6,"title":["Compositionality results for different types of parameterization and parameter passing in specification languages"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"R. M.","family":"Jimenez","sequence":"additional","affiliation":[]},{"given":"F.","family":"Orejas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"3_CR1","first-page":"103","volume-title":"Proc. TA PS OFT 91","author":"H. Baumeister","year":"1991","unstructured":"Baumeister, H.: Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. Proc. TA PS OFT 91, Brighton. Springer LNCS 493, pp. 103\u2013120, 1991."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume":"86","author":"R. M. Burstall","year":"1980","unstructured":"Burstall, R.M.; Goguen, J.A.: The semantics of Clear, a specification language, Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS 86, pp. 292\u2013332, 1980.","journal-title":"Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","author":"R. M. Burstall","year":"1991","unstructured":"Burstall, R.M.; Goguen, I.A.; Tarlecki, A.: Some Fundamental Algebraic Tools for the Semantics of Computation, Part 3: Indexed Categories. Theor. Comp. Sc 91 (1991) 239\u2013264.","journal-title":"Theor. Comp. Sc"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J. A. Bergslra","year":"1990","unstructured":"Bergslra, J.A.; Heering, J.; Klint, R.: Module Algebra, JACM37, 2 (1990) 335\u2013372.","journal-title":"JACM"},{"key":"3_CR5","unstructured":"Ehrig, H.; Baldamus, M.; Cornelius, F.; Orejas, F.: Theory of Algebraic Module Specifications including Behavioural Semantics and Constraints, Proc. AMAST'91, to appear in Springer LNCS 1991"},{"key":"3_CR6","first-page":"209","volume":"29","author":"H.-D. Enrich","year":"1982","unstructured":"Enrich, H.-D.: On the theory of specification, implementation and parameterization of abstract data types. JACM 29, pp. 209\u2013277, (1982)","journal-title":"JACM"},{"key":"3_CR7","first-page":"1","volume":"112","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H.: Algebraic theory of parameterized specifications with requirements, Proc. 6th. CAAP, Springer LNCS 112. (1981) 1\u201324.","journal-title":"Proc. 6th. CAAP, Springer LNCS"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(83)90065-8","volume":"28","author":"H. Ehrig","year":"1984","unstructured":"Ehrig; H.; Kreowski, H.-J.; Thatcher, J.; Wagner, E. Wright, J.: Parameter passing in algebraic specification languages. Theor. Comp. Science 28, 45\u201381, (1984)","journal-title":"Theor. Comp. Science"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. EATCS Monographs on Theoretical Computer Science, Springer 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. EATCS Monographs on Theoretical Computer Science, Springer (1990)","DOI":"10.1007\/978-3-642-61284-8"},{"key":"3_CR11","first-page":"263","volume":"372","author":"H. Ehrig","year":"1989","unstructured":"Ehrig, H.; Pepper, P.; Orejas, F.: On Reccnt Trends in Algebraic Specification, Proc. ICALP'89, Springer LNCS 372 (1989), pp. 263\u2013288","journal-title":"Proc. ICALP'89, Springer LNCS"},{"key":"3_CR12","unstructured":"Ehrig, H., Wagner, E. G. Thatcher: J.W. Algebraic constraints for specifications and canonical form results, Institut f\u00fcr Software und Theoretische Informatik, T.U. Berlin Bericht Nr. 82-09, 1982."},{"key":"3_CR13","first-page":"221","volume-title":"LNCS 164","author":"J. A. Goguen","year":"1984","unstructured":"Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221\u2013256"},{"issue":"1","key":"3_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"Goguen, J.A.; Burstall, R.M.: Institutions: abstraact model theory for specification and programming. JACM 39, 1 (1992) 95\u2013146.","journal-title":"JACM"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Orejas, F.; Sacrist\u00e1n, V.; Clerici, S.: Development of algebraic specifications with constraints, in 'Categorical Methods in Computer Science \u2014 with Aspects from Topology', (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preu\u00df, eds.), LNCS 393 (1989)","DOI":"10.1007\/3-540-51722-7_7"},{"key":"3_CR16","first-page":"504","volume":"88","author":"H. Reichel","year":"1980","unstructured":"Reichel, H.: Initially restricting algebraic theories, Proc. MFCS 80, Springer LNCS 88 (1980), pp. 504\u2013514.","journal-title":"Proc. MFCS 80, Springer LNCS"},{"key":"3_CR17","unstructured":"Sannella, D.; Sokolowski, S.; Tarlecki, A.: Toward formal development of programs from algebraic specifications: parameterisation revisited. To appear in Acta Informatica."},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/3-540-50940-2_48","volume":"352","author":"D. Sannella","year":"1989","unstructured":"Sannella, D.; Tarlecki, A.: Toward formal development of ML programs: foundations and methodology. Proc. TAPSOFT 89. Springer LNCS 352, 375\u2013389 (1989)","journal-title":"Proc. TAPSOFT 89. Springer LNCS"},{"key":"3_CR19","first-page":"473","volume":"140","author":"D. Sannella","year":"1982","unstructured":"Sannella, D.; Wirsing, M.: Implementation of parameterised specifications, Proc. 9th ICALP, Springer LNCS 140 (1982) 473\u2013488.","journal-title":"Proc. 9th ICALP, Springer LNCS"},{"key":"3_CR20","first-page":"413","volume":"158","author":"D. Sannella","year":"1983","unstructured":"Sannella, D.; Wirsing, M. A kernel language for algebraic specification and implementation, Proc. FCT-83, Springer LNCS 158, pp. 413\u2013427, (1983)","journal-title":"Proc. FCT-83, Springer LNCS"},{"key":"3_CR21","doi-asserted-by":"publisher","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. Trans. Prog. Lang. and Systems 4 (1982), 711\u2013732","journal-title":"Trans. Prog. Lang. and Systems"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"Wirsing, M.; Structured algebraic specifications: a kernel language. Theor. Comp. Sc. 42, 123\u2013249 (1986)","journal-title":"Theor. Comp. Sc."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT'93: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56610-4_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:56Z","timestamp":1605647096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56610-4_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566106","9783540475989"],"references-count":22,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-56610-4_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}
