{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:30:31Z","timestamp":1743031831864,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360886"},{"type":"electronic","value":"9783642360893"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36089-3_22","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T01:13:00Z","timestamp":1357780380000},"page":"392-412","source":"Crossref","is-referenced-by-count":4,"title":["Approaches and Tools for Implementing Type Systems in Xtext"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dietmar","family":"Stoll","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"V\u00f6lter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serano","family":"Colameo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"DLTK, http:\/\/www.eclipse.org\/dltk"},{"key":"22_CR2","unstructured":"Xtend, http:\/\/xtend-lang.org"},{"key":"22_CR3","unstructured":"Xtext, http:\/\/www.eclipse.org\/Xtext"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Bertot, Y., Cast\u00e9ran, P.P.: Interactive theorem proving and program development: Coq\u2019Art: the calculus of inductive constructions. Texts in theoretical computer science. Springer (2004)","DOI":"10.1007\/978-3-662-07964-5"},{"key":"22_CR5","unstructured":"Bettini, L.: An Eclipse-based IDE for Featherweight Java implemented in Xtext. In: ECLIPSE-IT, pp. 14\u201328 (2010)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Bettini, L.: A DSL for Writing Type Systems for Xtext Languages. In: PPPJ, pp. 31\u201340. ACM (2011)","DOI":"10.1145\/2093157.2093163"},{"key":"22_CR7","unstructured":"Bettini, L.: Xsemantics (2012), http:\/\/xsemantics.sourceforge.net\/"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Bettini, L., Damiani, F., Schaefer, I., Strocco, F.: TraitRecordJ: A programming language with traits and records. Science of Computer Programming (to appear, 2012)","DOI":"10.1016\/j.scico.2011.06.007"},{"issue":"2","key":"22_CR9","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/64140.65005","volume":"24","author":"P. Borras","year":"1988","unstructured":"Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: CENTAUR: the system. SIGPLAN\u00a024(2), 14\u201324 (1988)","journal-title":"SIGPLAN"},{"issue":"4","key":"22_CR10","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/567097.567099","volume":"24","author":"M.G.J. Van Den Brand","year":"2002","unstructured":"Van Den Brand, M.G.J., Heering, J., Klint, P., Olivier, P.A.: Compiling language definitions: the ASF+SDF compiler. ACM TOPLAS\u00a024(4), 334\u2013368 (2002)","journal-title":"ACM TOPLAS"},{"issue":"1-2","key":"22_CR11","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.scico.2007.11.003","volume":"72","author":"M. Bravenboer","year":"2008","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/XT 0.17. A language and toolset for program transformation. Science of Computer Programming\u00a072(1-2), 52\u201370 (2008)","journal-title":"Science of Computer Programming"},{"issue":"1","key":"22_CR12","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/234313.234418","volume":"28","author":"L. Cardelli","year":"1996","unstructured":"Cardelli, L.: Type Systems. ACM Computing Surveys\u00a028(1), 263\u2013264 (1996)","journal-title":"ACM Computing Surveys"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Charles, P., Fuhrer, R., Sutton Jr., S., Duesterwald, E., Vinju, J.: Accelerating the creation of customized, language-Specific IDEs in Eclipse. In: OOPSLA. ACM (2009)","DOI":"10.1145\/1640089.1640104"},{"key":"22_CR14","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":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11737414_4","volume-title":"Functional and Logic Programming","author":"A. Dijkstra","year":"2006","unstructured":"Dijkstra, A., Swierstra, S.D.: Ruler: Programming Type Rules. In: Hagiya, M. (ed.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 30\u201346. Springer, Heidelberg (2006)"},{"issue":"1-3","key":"22_CR16","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.scico.2007.02.003","volume":"69","author":"T. Ekman","year":"2007","unstructured":"Ekman, T., Hedin, G.: The JastAdd system \u2013 modular extensible compiler construction. Science of Computer Programming\u00a069(1-3), 14\u201326 (2007)","journal-title":"Science of Computer Programming"},{"key":"22_CR17","volume-title":"Semantics Engineering with PLT Redex","author":"M. Felleisen","year":"2009","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex. The MIT Press, Cambridge (2009)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Gordon, M.: From LCF to HOL: a short history. In: Proof, Language, and Interaction: Essays in Honour of Robin Milner, pp. 169\u2013186. The MIT Press (2000)","DOI":"10.7551\/mitpress\/5641.003.0012"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-02674-4_9","volume-title":"Model Driven Architecture - Foundations and Applications","author":"F. Heidenreich","year":"2009","unstructured":"Heidenreich, F., Johannes, J., Karol, S., Seifert, M., Wende, C.: Derivation and Refinement of Textual Syntax for Models. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 114\u2013129. Springer, Heidelberg (2009)"},{"key":"22_CR20","unstructured":"Hindley, J.R.: Basic Simple Type Theory. Cambridge University Press (1987)"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Hofer, C., Ostermann, K., Rendel, T., Moors, A.: Polymorphic embedding of DSLs. In: Smaragdakis, Y., Siek, J.G. (eds.) Proceedings of the 7th International Conference on Generative Programming and Component Engineering, GPCE 2008, Nashville, TN, USA, October 19-23, pp. 137\u2013148. ACM (2008)","DOI":"10.1145\/1449913.1449935"},{"issue":"3","key":"22_CR22","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Jouault, F., B\u00e9zivin, J., Kurtev, I.: TCS: a DSL for the specification of textual concrete syntaxes in model engineering. In: GPCE, pp. 249\u2013254. ACM (2006)","DOI":"10.1145\/1173706.1173744"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Kats, L.C.L., Visser, E.: The Spoofax language workbench. Rules for declarative specification of languages and IDEs. In: OOPSLA, pp. 444\u2013463. ACM (2010)","DOI":"10.1145\/1932682.1869497"},{"key":"22_CR25","unstructured":"Levine, J.: flex & bison. O\u2019Reilly Media (2009)"},{"key":"22_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45937-5_1","volume-title":"Compiler Construction","author":"M. Mernik","year":"2002","unstructured":"Mernik, M., Leni\u010d, M., Avdicau\u0161evic, E., Zumer, V.: LISA: An Interactive Environment for Programming Language Development. In: Nigel Horspool, R. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 1\u20134. Springer, Heidelberg (2002)"},{"key":"22_CR27","unstructured":"Object Management Group. Object Constraint Language, Version 2.2 (2010), http:\/\/www.omg.org\/spec\/OCL\/2.2"},{"key":"22_CR28","unstructured":"Parr, T.: The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Programmers (2007)"},{"key":"22_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle","author":"L.C. Paulson","year":"1994","unstructured":"Paulson, L.C.: Isabelle: A Generic Theorem Prover. LNCS, vol.\u00a0828. Springer, Heidelberg (1994)"},{"key":"22_CR30","unstructured":"Pfeiffer, M., Pichler, J.: A comparison of tool support for textual domain-specific languages. In: DSM, pp. 1\u20137 (2008)"},{"key":"22_CR31","unstructured":"Pierce, B.C.: Types and Programming Languages. The MIT Press (2002)"},{"key":"22_CR32","doi-asserted-by":"crossref","unstructured":"Reps, T., Teitelbaum, T.: The Synthesizer Generator. In: Software Engineering Symposium on Practical Software Development Environments, pp. 42\u201348. ACM (1984)","DOI":"10.1145\/390010.808247"},{"key":"22_CR33","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Damiani, F.: Compositional Type-Checking for Delta-oriented Programming. In: AOSD, pp. 43\u201356. ACM (2011)","DOI":"10.1145\/1960275.1960283"},{"key":"22_CR34","doi-asserted-by":"crossref","unstructured":"Sewell, P., Nardelli, F.Z., Owens, S., Peskine, G., Ridge, T., Sarkar, S., Strnisa, R.: Ott: Effective tool support for the working semanticist. J. Funct. Program\u00a020(1) (2010)","DOI":"10.1017\/S0956796809990293"},{"key":"22_CR35","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2008)"},{"issue":"10","key":"22_CR36","first-page":"14","volume":"8","author":"J. Vlissides","year":"1996","unstructured":"Vlissides, J.: Generation Gap Pattern. C++ Report\u00a08(10):12, 14\u201318 (1996)","journal-title":"C++ Report"},{"key":"22_CR37","unstructured":"Voelter, M.: Language and IDE Development, Modularization and Composition with MPS. In: 4th Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2011). LNCS, Springer (2011)"},{"key":"22_CR38","unstructured":"V\u00f6lter, M.: Xtext\/TS - A Typesystem Framework for Xtext (May 2011), http:\/\/code.google.com\/a\/eclipselabs.org\/p\/xtext-typesystem\/"},{"key":"22_CR39","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison Wesley (1999)"},{"issue":"2","key":"22_CR40","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.entcs.2008.03.047","volume":"203","author":"E. Van Wyk","year":"2008","unstructured":"Van Wyk, E., Bodin, D., Gao, J., Krishnan, L.: Silver: an Extensible Attribute Grammar System. Electronic Notes in Theoretical Computer Science\u00a0203(2), 103\u2013116 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"22_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-13953-6_11","volume-title":"Objects, Models, Components, Patterns","author":"H. Xu","year":"2010","unstructured":"Xu, H.: EriLex: An Embedded Domain Specific Language Generator. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol.\u00a06141, pp. 192\u2013212. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36089-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T14:53:24Z","timestamp":1714834404000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-36089-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360886","9783642360893"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36089-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}