{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:36Z","timestamp":1725663396591},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176602"},{"type":"electronic","value":"9783540477464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17660-8_56","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:16:58Z","timestamp":1330179418000},"page":"202-216","source":"Crossref","is-referenced-by-count":5,"title":["Parameterized horn clause specifications: Proof theory and correctness"],"prefix":"10.1007","author":[{"given":"M.","family":"Navarro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"14_CR1","unstructured":"Arbib, M.E.; Manes, E.G.: \"Arrows, structures and functors: the categorical imperative\", Academic Press 1975."},{"key":"14_CR2","unstructured":"Bell, J.L.; Slomson, A.B.: \"Models and Ultraproducts: an Introduction\", North-Holland (1971)"},{"key":"14_CR3","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-10007-5_41"},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","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 parameterization of abstract data types\", JACM 29, 1 (1982), pp. 206\u2013227.","journal-title":"JACM"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Ehrig, H.: \"Algebraic theory of parameterized specifications with requirements\", Proc. 6th. CAAP, Springer LNCS 112, pp. 1\u201324, 1981.","DOI":"10.1007\/3-540-10828-9_51"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: \"Parameter passing in algebraic specification languages\", Proc. Aarhus Workshop on Program Specification, Springer LNCS 134, 1981.","DOI":"10.1007\/3-540-11490-4_21"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: \"Fundamentals of algebraic specification 1\", Springer EATCS Monographs on Theor. Comp. Sc., 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"issue":"3","key":"14_CR8","doi-asserted-by":"publisher","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\", TOPLAS 5,3 (1983), pp. 318\u2013354.","journal-title":"TOPLAS"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.; Meseguer, J: \"Universal realization, persistent interconnection and implementation of abstract modules\", Proc. IX ICALP, Springer LNCS 140, pp. 265\u2013281, 1982.","DOI":"10.1007\/BFb0012775"},{"issue":"7","key":"14_CR10","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/947864.947865","volume":"16","author":"J.A. Goguen","year":"1981","unstructured":"Goguen, J.A.; Meseguer, J.: \"Completeness of many-sorted equational logic\", Sigplan Notices 16,7 (1981) pp 24\u201332.","journal-title":"Sigplan Notices"},{"issue":"2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","volume":"1","author":"J.A. Goguen","year":"1984","unstructured":"Goguen, J.A.; Meseguer, J: \"Equality, types, modules and (why not?) generics for logic programming\", The Journal of Logic Programming 1,2 (1984), pp. 179\u2013210.","journal-title":"The Journal of Logic Programming"},{"key":"14_CR12","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 \u2018Current Trends in Programming Methodology, Vol IV: Data Structuring', R.T. Yeh (ed.), Prentice Hall 1978, pp. 80\u2013149."},{"key":"14_CR13","unstructured":"Navarro, M.; Orejas, F.: \"Proof rules for conditional equations\", Res. Rep., Facultat d'Informatica de Barcelona, 1986."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Orejas, F.: \"Passing compatibility is almost persistency\", in \u2018Recent trends on data type specification\u2019 H.-J. Kreowski (ed.)Springer IFB 114, 1985.","DOI":"10.1007\/978-3-662-09691-8_15"},{"key":"14_CR15","first-page":"375","volume":"173","author":"P. Padawitz","year":"1984","unstructured":"Padawitz, P.: \"Towards a proof theory of parameterized specifications\", in \u2018Semantics of Data Types', G. Kahn, D.B. MacQueen, G. Plotkin (eds.), Springer LNCS 173 (1984), pp. 375\u2013391.","journal-title":"Springer LNCS"},{"key":"14_CR16","first-page":"323","volume":"186","author":"P. Padawitz","year":"1985","unstructured":"Padawitz, P.: \"Parameter preserving data type specifications\", in \"Formal Methods and Software Development, vol I', H. Ehrig, Ch. Floyd (eds.), Springer LNCS 186 (1985), pp. 323\u2013341.","journal-title":"Springer LNCS"},{"issue":"1","key":"14_CR17","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/BF02945004","volume":"2","author":"A. Selman","year":"1972","unstructured":"Selman, A.: \"Completeness of calculii for axiomatically defined classes of algebras\", Algebra Universalis, 2, 1 (1972), pp. 20\u201332.","journal-title":"Algebra Universalis"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: \"Data type specification: parameterization and the power of specification techniques\", Proc. 10th STOC, San Diego, Ca., 1978.","DOI":"10.1145\/800133.804340"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17660-8_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:13:12Z","timestamp":1605625992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17660-8_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176602","9783540477464"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-17660-8_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}