{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:52:25Z","timestamp":1725537145085},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041631"},{"type":"electronic","value":"9783642041648"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04164-8_11","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T16:10:48Z","timestamp":1252944648000},"page":"207-226","source":"Crossref","is-referenced-by-count":1,"title":["Type Checking Evolving Languages with MSOS"],"prefix":"10.1007","author":[{"given":"M. G. J.","family":"van den Brand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. P.","family":"van der Meer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Serebrenik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","first-page":"48","volume-title":"Software and Services Variability Management Workshop \u2013 Concepts, Models and Tools","author":"E. J\u00fcrgens","year":"2007","unstructured":"J\u00fcrgens, E., Pizka, M.: Tool-supported multi-level language evolution. In: M\u00e4nnist\u00f6, T., Niemel\u00e4, E., Raatikainen, M. (eds.) Software and Services Variability Management Workshop \u2013 Concepts, Models and Tools, vol.\u00a0(3), pp. 48\u201367. Helsinki University of Technology Software Business and Engineering Institute Research Reports, Helsinki (2007)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.jlap.2004.03.008","volume":"60-61","author":"P.D. Mosses","year":"2004","unstructured":"Mosses, P.D.: Modular structural operational semantics. Journal of Logic and Algebraic Programming\u00a060-61, 195\u2013228 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-48340-3_7","volume-title":"Mathematical Foundations of Computer Science 1999","author":"P.D. Mosses","year":"1999","unstructured":"Mosses, P.D.: Foundations of modular SOS. In: Kuty\u0142owski, M., Wierzbicki, T., Pacholski, L. (eds.) MFCS 1999. LNCS, vol.\u00a01672, pp. 70\u201380. Springer, Heidelberg (1999)"},{"key":"11_CR4","unstructured":"Hofkamp, A., Rooda, J.: Chi 1.0 reference manual. SE Report 2008-04, Eindhoven University of Technology, Systems Engineering Group, Department of Mechanical Engineering, Eindhoven, The Netherlands (2008)"},{"key":"11_CR5","unstructured":"van Beek, D., Hofkamp, A., Reniers, M., Rooda, J., Schiffelers, R.: Syntax and consistent equation semantics of Chi 2.0. SE Report 2008-01, Eindhoven University of Technology (2008)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"1-3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.desal.2006.09.006","volume":"198","author":"J. Bohdziewicz","year":"2006","unstructured":"Bohdziewicz, J., Sroka, E.: Application of hybrid systems to the treatment of meat industry wastewater. Desalination\u00a0198(1-3), 33\u201340 (2006); The Second Membrane Science and Technology Conference of Visegrad Countries","journal-title":"Desalination"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M. Clavel","year":"2003","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: The Maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 76\u201387. Springer, Heidelberg (2003)"},{"key":"11_CR9","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-45013-0_21","volume-title":"Logic Based Program Synthesis and Transformation","author":"C. Braga","year":"2003","unstructured":"Braga, C., Haeusler, E., Meseguer, J., Mosses, P.D.: Mapping modular SOS to rewriting logic. In: Leuschel, M. (ed.) LOPSTR 2002. LNCS, vol.\u00a02664, pp. 262\u2013277. Springer, Heidelberg (2003)"},{"key":"11_CR11","unstructured":"Braga, C.: Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro (2001), http:\/\/www.ic.uff.br\/~cbraga"},{"key":"11_CR12","unstructured":"Hofkamp, A., Rooda, J.: Chi 2.0 language reference manual. SE Report 2008-02, Eindhoven University of Technology, Systems Engineering Group, Department of Mechanical Engineering, Eindhoven, The Netherlands (2008)"},{"key":"11_CR13","unstructured":"Tofte, M.: Operational semantics and polymorphic type inference. PhD thesis, University of Edinburgh (1988)"},{"key":"11_CR14","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"11_CR15","first-page":"245","volume-title":"Principles of Programming Languages","author":"C. Flanagan","year":"2006","unstructured":"Flanagan, C.: Hybrid type checking. In: Morrisett, J.G., Jones, S.L.P. (eds.) Principles of Programming Languages, pp. 245\u2013256. ACM Press, New York (2006)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Mitchell, J.: Coercion and type inference. In: Eleventh Symposium on Principles of Programming Languages, pp. 175\u2013185 (1984)","DOI":"10.1145\/800017.800529"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Hoang, M., Mitchell, J.C.: Lower bounds on type inference with subtypes. In: Proceedings of POPL 1995, 22nd Annual SIGPLAN\u2013SIGACT Symposium on Principles of Programming Languages, pp. 176\u2013185 (1995)","DOI":"10.1145\/199448.199481"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032747","volume-title":"Static Analysis","author":"A. Frey","year":"1997","unstructured":"Frey, A.: Satisfying systems of subtype inequalities in polynomial space. In: Van Hentenryck, P. (ed.) SAS 1997. LNCS, vol.\u00a01302. Springer, Heidelberg (1997)"},{"key":"11_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25984-8_1","volume-title":"Automated Reasoning","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Rosu, G.: Rewriting logic semantics: From language specifications to formal analysis tools. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 1\u201344. Springer, Heidelberg (2004)"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/3-540-50820-1_51","volume-title":"Programming Languages Implementation and Logic Programming","author":"I. Attali","year":"1989","unstructured":"Attali, I.: Compiling TYPOL with attribute grammars. In: Ma\u0142uszy\u0144ski, J., Deransart, P., Lorho, B. (eds.) PLILP 1988. LNCS, vol.\u00a0348, pp. 252\u2013272. Springer, Heidelberg (1989)"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11546382_1","volume-title":"Advanced Functional Programming","author":"A. Dijkstra","year":"2005","unstructured":"Dijkstra, A., Swierstra, S.D.: Typing haskell with an attribute grammar. In: Vene, V., Uustalu, T. (eds.) AFP 2004. LNCS, vol.\u00a03622, pp. 1\u201372. Springer, Heidelberg (2005)"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-540-71289-3_9","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Gao","year":"2007","unstructured":"Gao, J., Heimdahl, M.P.E., Van Wyk, E.: Flexible and extensible notations for modeling languages. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 102\u2013116. Springer, Heidelberg (2007)"},{"issue":"2","key":"11_CR23","first-page":"127","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Theory of Computing Systems\u00a02(2), 127\u2013145 (1968)","journal-title":"Theory of Computing Systems"},{"key":"11_CR24","unstructured":"de Moor, O., Backhouse, K., Swierstra, S.D.: First-class attribute grammars. Informatica (Slovenia)\u00a024(3) (2000)"},{"key":"11_CR25","unstructured":"van Deursen, A.: An algebraic specification for the static semantics of Pascal. In: Conference Proceedings Computing Science in the Netherlands CSN 1991, pp. 150\u2013164 (1991)"},{"key":"11_CR26","series-title":"AMAST Series in Computing","volume-title":"Language Prototyping: An Algebraic Specification Approach","year":"1996","unstructured":"van Deursen, A., Heering, J., Klint, P. (eds.): Language Prototyping: An Algebraic Specification Approach. AMAST Series in Computing, vol.\u00a05. World Scientific, Singapore (1996)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"M. Brand van den","year":"2001","unstructured":"van den Brand, M., van Deursen, A., Heering, J., de Jong, H., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P., Scheerder, J., Vinju, J., Visser, E., Visser, J.: The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"key":"11_CR28","first-page":"216","volume-title":"Semantics of Specification Languages. Workshops in Computing","author":"T.B. Dinesh","year":"1993","unstructured":"Dinesh, T.B.: Type-checking revisited: Modular error-handling. In: Andrews, D.J., Groote, J.F., Middelburg, C.A. (eds.) Semantics of Specification Languages. Workshops in Computing, pp. 216\u2013231. Springer, Heidelberg (1993)"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Despeyroux, T.: Executable specification of static semantics. Research Report RR-0295, INRIA (1984)","DOI":"10.1007\/3-540-13346-1_11"},{"issue":"2","key":"11_CR30","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/356669.356672","volume":"8","author":"M. Marcotty","year":"1976","unstructured":"Marcotty, M., Ledgard, H., Bochmann, G.V.: A sampler of formal definitions. ACM Computing Surveys\u00a08(2), 191\u2013276 (1976)","journal-title":"ACM Computing Surveys"},{"key":"11_CR31","series-title":"Electronical Notes in Theoretical Computer Science","volume-title":"Proceedings of the 1st Workshop on Language Descriptions, Tools and Applications","author":"R. L\u00e4mmel","year":"2001","unstructured":"L\u00e4mmel, R., Wachsmuth, G.: Transformation of SDF syntax definitions in the ASF+SDF meta-environment. In: van den Brand, M.G., Parigot, D. (eds.) Proceedings of the 1st Workshop on Language Descriptions, Tools and Applications. Electronical Notes in Theoretical Computer Science, vol.\u00a044, Elsevier, Amsterdam (2001)"},{"key":"11_CR32","unstructured":"Mosses, P.D., New, M.J.: Implicit propagation in structural operational semantics. In: SOS 2008, Preliminary Proceedings (2008)"},{"issue":"1","key":"11_CR33","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(02)00107-7","volume":"47","author":"K.G. Doh","year":"2003","unstructured":"Doh, K.G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. Sci. Comput. Program.\u00a047(1), 3\u201336 (2003)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"11_CR34","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.scico.2006.04.005","volume":"61","author":"M.G. Brand van den","year":"2006","unstructured":"van den Brand, M.G., Iversen, J., Mosses, P.D.: An action environment. Sci. Comput. Program.\u00a061(3), 245\u2013264 (2006)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Semantics and Algebraic Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04164-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T15:18:46Z","timestamp":1558538326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04164-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041631","9783642041648"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04164-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}