{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:15Z","timestamp":1725663915976},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578673"},{"type":"electronic","value":"9783540483618"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57867-6_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:33:01Z","timestamp":1330263181000},"page":"144-157","source":"Crossref","is-referenced-by-count":3,"title":["Semantic constructions in the specification language Glider"],"prefix":"10.1007","author":[{"given":"S.","family":"Cl\u00e9rici","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Jim\u00e9nez","sequence":"additional","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,5,27]]},"reference":[{"key":"8_CR1","unstructured":"Burstall, R.M.; Goguen, J.A.: \u201cPutting theories together to make specifications\u201d, Proc. VIJCAI, Cambridge Mass., 1977, pp. 1045\u20131058."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Burstall, R.M.; Goguen, J.A.: \u201cThe semantics of Clear, a specification language\u201d, Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS 86, pp. 292\u2013332, 1980.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"8_CR3","unstructured":"Broy, M.: \u201cAn example for the design of distributed systems in a formal setting: the lift problem\u201d. Report MIP-8802, Universit\u00e4t Passau, 1988."},{"key":"8_CR4","unstructured":"Clerici, S.; Orejas, F.: \u201cGSBL: An algebraic specification language based on inheritance\u201d in ECOOP'88 S. Gjessing y K. Nygaard' (eds.), Springer-Verlag Lecture Notes in Computer Science 322 (1988) pp. 78\u201392."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Clerici, S.; Orejas, F.: \u201cThe specification language GSBL\u201d in \u2018Recent trends in data type specification\u2019 (H. Ehrig, K. Jantke, F. Orejas, H. Reichel (eds.)) Springer-Verlag Lecture Notes in Computer Science 534, 1991, pp. 31\u201351.","DOI":"10.1007\/3-540-54496-8_3"},{"key":"8_CR6","unstructured":"Clerici, S.; Orejas, F.: First Definition of the Formal Semantics of the ICARUS Process Language (system's funcionalities), Icarus-Forsem Report 009-R, 1991."},{"key":"8_CR7","unstructured":"Ehrig, H.; Baldamus, M.; Cornelius, F.; Orejas, F.: \u201cTheory of algebraic module specifications including behavioural semantics, constraint and aspects of generalized morphisms\u201d, Inv. Paper, Proc. 2nd AMAST Conference Iowa City, May 1991, to appear also in Springer LNCS."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: \u201cFundamentals of algebraic specification 1\u201d, EATCS Monographs on Theor. Comp. Sc., Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"8_CR9","unstructured":"Ehrig, H.; Thatcher, J.W.; Lucas, P.; Zilles, S.N.: \u201cDenotational and initial algebra semantics of the algebraic specification language LOOK\u201d, draft report, IBM Research, 1982."},{"key":"8_CR10","volume-title":"Algebraic constraints for specifications and canonical form results","author":"H. Ehrig","year":"1982","unstructured":"Ehrig, H.; Wagner, E.G.; Thatcher, J.W.: \u201cAlgebraic constraints for specifications and canonical form results\u201d, Institut f\u00fcr Software und Theoretische Informatik, T.U. Berlin Bericht Nr. 82-09, 1982."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Futatsugi, K.; Goguen, J.A.; Jouannaud, J.-P.; Meseguer, J.: \u201cPrinciples of OBJ2\u201d, Proc. 12th POPL, Austin 1985.","DOI":"10.1145\/318593.318610"},{"key":"8_CR12","unstructured":"Semantic definition of Glider, Icarus-Forsem Report 004-R, 1990."},{"key":"8_CR13","unstructured":"First description of the ICARUS language kernel for the product level, FUN-Namur, INRIA\/CRIN-Nancy, PRLB-Brussels, 1989."},{"key":"8_CR14","unstructured":"First version of the ICARUS product and process language for the specification of system functionalities, FUN-Namur, INRIA\/CRIN-Nancy, PRLB-Brussels, 1990."},{"key":"8_CR15","unstructured":"Second version of the ICARUS product, process and rationale language for the specification of system functionalities, Part I: the Glider Language, FUN-Namur, INRIA\/CRIN-Nancy, PRLB-Brussels, 1990."},{"key":"8_CR16","unstructured":"GLIDER Manual, FUN-Namur, Sema Group-Brussels, 1990."},{"issue":"2","key":"8_CR17","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0167-6423(86)90021-3","volume":"6","author":"J. V. Guttag","year":"1986","unstructured":"Guttag, J.V.; Horning, J.J.: \u201cReport on the Larch shared language\u201d, Science of Computer Programming 6, 2 (1986) 103\u2013134.","journal-title":"Science of Computer Programming"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.; Jouannaud, J.P.; Meseguer, J.: \u201cOperational semantics of order-sorted algebra\u201d, Proc. ICALP'85, Nafplion, Springer LNCS 194 (1985) 221\u2013231.","DOI":"10.1007\/BFb0015747"},{"key":"8_CR19","unstructured":"Goguen, J.A.; Meseguer, J.: \u201cOrder-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial overloaded operations\u201d, SRI Int., Comp. Sc. Lab. Rep., SRI-CSL-89-10, 1989."},{"key":"8_CR20","volume-title":"Topology and Category Theory in Computer Science","author":"J. A. Goguen","year":"1991","unstructured":"Goguen, J.A.: \u201cTypes as Theories\u201d. Topology and Category Theory in Computer Science, Clarendon Press. Oxford, 1991."},{"issue":"1","key":"8_CR21","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1877","unstructured":"Goguen, J.A.; Thatcher, J.W.; Wagner, E.W.; Wright, J.B.: \u201cInitial Algebra Semantics and Continuous Algebras\u201d. J. ACM 24, 1 (1877), 68\u201395.","journal-title":"J. ACM"},{"key":"8_CR22","unstructured":"Jim\u00e9nez, R.; Orejas, F.; Pe\u00f1a, R.: \u201cSome more algebraic constructs for the semantics of Glider\u201d, Icarus-Forsem Report 009-R, 1990."},{"key":"8_CR23","unstructured":"Krieg-Br\u00fcckner, B.; Hoffmann, B. (eds.) PROgram development by SPECification and TRAnsformation. Part I: Methodology, Part II: Language Family, Part III: System. PROSPECTRA Reports M.1.1.S3-R-55.2,-56.2,-57.2. Universit\u00e4t Bremen (to appear in Springer LNCS)."},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/BF00267044","volume":"22","author":"B. M\u00f6ller","year":"1985","unstructured":"M\u00f6ller, B.: \u201cOn the Algebraic Specification Of Infinite Objects \u2014 Ordered and Continuous Models of Algebraic Types\u201d. Acta Informatica 22, 537\u2013578, 1985.","journal-title":"Acta Informatica"},{"key":"8_CR25","unstructured":"Orejas, F.: \u201cSome basic algebraic constructs for the semantics of Glider\u201d, Icarus-Forsem Report 003-N, 1990."},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Orejas, F.; Sacristan, V.; Clerici, S.: \u201cDevelopment of algebraic specifications with constraints\u201d, Proc. Workshop in Categ. Methods in Comp. Sc. Springer LNCS 393 (1989).","DOI":"10.1007\/3-540-51722-7_7"},{"key":"8_CR27","first-page":"504","volume":"88","author":"H. Reichel","year":"1980","unstructured":"Reichel, H.: \u201cInitially restricting algebraic theories\u201d, Proc. MFCS 80, Springer LNCS 88 (1980), pp. 504\u2013514.","journal-title":"Springer LNCS"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Smolka, G.; Nutt, W.; Goguen, J.; Meseguer, J.: \u201cOrder sorted equational computation\u201d, Resolution of equations in algebraic structures, Vol. 2. Academic Press 1989. pp. 299\u2013367.","DOI":"10.1016\/B978-0-12-046371-8.50016-X"},{"key":"8_CR29","first-page":"375","volume":"352","author":"D. Sannella","year":"1989","unstructured":"Sannella, D.; Tarlecki, A.: \u201cToward formal development of ML programs: foundations and methodology\u201d, Proc. TAPSOFT 89 (Barcelona), Springer LNCS 352 (1989) 375\u2013389.","journal-title":"Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57867-6_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T15:35:40Z","timestamp":1713627340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57867-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578673","9783540483618"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-57867-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}