{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:35Z","timestamp":1750307135639,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T00:00:00Z","timestamp":1314144000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,8,24]]},"DOI":"10.1145\/2093157.2093163","type":"proceedings-article","created":{"date-parts":[[2012,1,10]],"date-time":"2012-01-10T17:02:17Z","timestamp":1326214937000},"page":"31-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A DSL for writing type systems for Xtext languages"],"prefix":"10.1145","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Torino, Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,8,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"DLTK. http:\/\/www.eclipse.org\/dltk. DLTK. http:\/\/www.eclipse.org\/dltk."},{"key":"e_1_3_2_1_2_1","unstructured":"Google Guice. http:\/\/code.google.com\/p\/google-guice. Google Guice. http:\/\/code.google.com\/p\/google-guice."},{"key":"e_1_3_2_1_3_1","unstructured":"Xtext. http:\/\/www.eclipse.org\/Xtext. Xtext. http:\/\/www.eclipse.org\/Xtext."},{"key":"e_1_3_2_1_4_1","volume-title":"Compilers: principles, techniques, and tools","author":"Aho A. V.","year":"2007","unstructured":"A. V. Aho , M. S. Lam , R. Sethi , and J. D. Ullman , editors . Compilers: principles, techniques, and tools . Addison Wesley , 2 nd edition, 2007 . A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman, editors. Compilers: principles, techniques, and tools. Addison Wesley, 2nd edition, 2007.","edition":"2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/551789.853531"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","first-page":"24","volume-title":"TYPES","author":"Berghofer S.","year":"2000","unstructured":"S. Berghofer and T. Nipkow . Executing Higher Order Logic . In TYPES , volume 2277 of LNCS , pages 24 -- 40 . Springer , 2000 . S. Berghofer and T. Nipkow. Executing Higher Order Logic. In TYPES, volume 2277 of LNCS, pages 24--40. Springer, 2000."},{"key":"e_1_3_2_1_7_1","volume-title":"Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions. Texts in theoretical computer science","author":"Bertot Y.","year":"2004","unstructured":"Y. Bertot and P. P. Cast\u00e9ran . Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions. Texts in theoretical computer science . Springer , 2004 . Y. Bertot and P. P. Cast\u00e9ran. Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions. Texts in theoretical computer science. Springer, 2004."},{"key":"e_1_3_2_1_8_1","first-page":"14","volume-title":"ECLIPSE-IT","author":"Bettini L.","year":"2010","unstructured":"L. Bettini . An Eclipse-based IDE for Featherweight Java implemented in Xtext . In ECLIPSE-IT , pages 14 -- 28 , 2010 . L. Bettini. An Eclipse-based IDE for Featherweight Java implemented in Xtext. In ECLIPSE-IT, pages 14--28, 2010."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1852761.1852780"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/64135.65005"},{"key":"e_1_3_2_1_11_1","volume-title":"Pluggable Type Systems. In Workshop on Revival of Dynamic Languages","author":"Bracha G.","year":"2004","unstructured":"G. Bracha . Pluggable Type Systems. In Workshop on Revival of Dynamic Languages , 2004 . G. Bracha. Pluggable Type Systems. In Workshop on Revival of Dynamic Languages, 2004."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/567097.567099"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11877028_10"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1890683.1890689"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640104"},{"key":"e_1_3_2_1_17_1","volume-title":"Superlanguages, Developing Languages and Applications with XMF. Ceteva","author":"Clark T.","year":"2008","unstructured":"T. Clark , P. Sammut , and J. Willans . Superlanguages, Developing Languages and Applications with XMF. Ceteva , 1 st edition, 2008 . T. Clark, P. Sammut, and J. Willans. Superlanguages, Developing Languages and Applications with XMF. Ceteva, 1st edition, 2008.","edition":"1"},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","first-page":"70","volume-title":"TPHOLs","author":"Delahaye D.","year":"2007","unstructured":"D. Delahaye , C. Dubois , and J.-F. \u00c9tienne . Extracting Purely Functional Contents from Logical Inductive Types . In TPHOLs , volume 4732 of LNCS , pages 70 -- 85 . Springer , 2007 . D. Delahaye, C. Dubois, and J.-F. \u00c9tienne. Extracting Purely Functional Contents from Logical Inductive Types. In TPHOLs, volume 4732 of LNCS, pages 70--85. Springer, 2007."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_1_22_1","volume-title":"Semantics Engineering with PLT Redex","author":"Felleisen M.","year":"2009","unstructured":"M. Felleisen , R. B. Findler , and M. Flatt . Semantics Engineering with PLT Redex . The MIT Press, Cambridge , Mass ., 2009 . M. Felleisen, R. B. Findler, and M. Flatt. Semantics Engineering with PLT Redex. The MIT Press, Cambridge, Mass., 2009."},{"key":"e_1_3_2_1_23_1","unstructured":"M. Fowler. A Language Workbench in Action - MPS. http:\/\/martinfowler.com\/articles\/mpsAgree.html 2008. M. Fowler. A Language Workbench in Action - MPS. http:\/\/martinfowler.com\/articles\/mpsAgree.html 2008."},{"key":"e_1_3_2_1_24_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley , 1995 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"169","DOI":"10.7551\/mitpress\/5641.003.0012","volume-title":"Proof, Language, and Interaction: Essays in Honour of Robin Milner","author":"Gordon M.","year":"2000","unstructured":"M. Gordon . From LCF to HOL: a short history . In Proof, Language, and Interaction: Essays in Honour of Robin Milner , pages 169 -- 186 . The MIT Press , 2000 . M. Gordon. From LCF to HOL: a short history. In Proof, Language, and Interaction: Essays in Honour of Robin Milner, pages 169--186. The MIT Press, 2000."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_9"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173744"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90009-6"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869497"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0142-1"},{"key":"e_1_3_2_1_32_1","first-page":"583","volume-title":"IFIP Congress","author":"Morcos-Chounet E.","year":"1986","unstructured":"E. Morcos-Chounet and A. Conchon . PPML: A general formalism to specify prettyprinting . In IFIP Congress , pages 583 -- 590 , 1986 . E. Morcos-Chounet and A. Conchon. PPML: A general formalism to specify prettyprinting. In IFIP Congress, pages 583--590, 1986."},{"key":"e_1_3_2_1_33_1","volume-title":"Version 2.2. Omg document number: formal\/2010-02-01 edition","author":"Object Management Group","year":"2010","unstructured":"Object Management Group . Object Constraint Language , Version 2.2. Omg document number: formal\/2010-02-01 edition , 2010 . http:\/\/www.omg.org\/spec\/OCL\/2.2. Object Management Group. Object Constraint Language, Version 2.2. Omg document number: formal\/2010-02-01 edition, 2010. http:\/\/www.omg.org\/spec\/OCL\/2.2."},{"key":"e_1_3_2_1_34_1","volume-title":"Pragmatic Programmers","author":"Parr T.","year":"2007","unstructured":"T. Parr . The Definitive ANTLR Reference: Building Domain-Specific Languages . Pragmatic Programmers , May 2007 . T. Parr. The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Programmers, May 2007."},{"key":"e_1_3_2_1_35_1","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"Paulson L. C.","year":"1994","unstructured":"L. C. Paulson . Isabelle: A Generic Theorem Prover , volume 828 of LNCS . Springer , 1994 . L. C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer, 1994."},{"key":"e_1_3_2_1_36_1","first-page":"1","volume-title":"Proc. DSM","author":"Pfeiffer M.","year":"2008","unstructured":"M. Pfeiffer and J. Pichler . A comparison of tool support for textual domain-specific languages . In Proc. DSM , pages 1 -- 7 , 2008 . M. Pfeiffer and J. Pichler. A comparison of tool support for textual domain-specific languages. In Proc. DSM, pages 1--7, 2008."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12107-4_20"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/800020.808247"},{"key":"e_1_3_2_1_39_1","first-page":"6","author":"Robinson J. A.","year":"1971","unstructured":"J. A. Robinson . Computational logic: The unification computation. Machine Intelligence , 6 , 1971 . J. A. Robinson. Computational logic: The unification computation. Machine Intelligence, 6, 1971.","journal-title":"Machine Intelligence"},{"key":"e_1_3_2_1_40_1","series-title":"LNCS","first-page":"77","volume-title":"SPLC","author":"Schaefer I.","year":"2010","unstructured":"I. Schaefer , L. Bettini , V. Bono , F. Damiani , and N. Tanzarella . Delta-oriented Programming of Software Product Lines . In SPLC , volume 6287 of LNCS , pages 77 -- 91 . Springer , 2010 . I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella. Delta-oriented Programming of Software Product Lines. In SPLC, volume 6287 of LNCS, pages 77--91. Springer, 2010."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809990293"},{"key":"e_1_3_2_1_42_1","volume-title":"EMF: Eclipse Modeling Framework","author":"Steinberg D.","year":"2008","unstructured":"D. Steinberg , F. Budinsky , M. Paternostro , and E. Merks . EMF: Eclipse Modeling Framework . Addison-Wesley , 2 nd edition, 2008 . D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. EMF: Eclipse Modeling Framework. Addison-Wesley, 2nd edition, 2008.","edition":"2"},{"key":"e_1_3_2_1_43_1","unstructured":"M. V\u00f6lter. Xtext\/TS - a typesystem framework for Xtext 2011. http:\/\/xtext-typesystem.eclipselabs.org.codespot.com-\/files\/XTextTypesystem-2.0.pdf. M. V\u00f6lter. Xtext\/TS - a typesystem framework for Xtext 2011. http:\/\/xtext-typesystem.eclipselabs.org.codespot.com-\/files\/XTextTypesystem-2.0.pdf."},{"key":"e_1_3_2_1_44_1","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"Warmer J.","year":"1999","unstructured":"J. Warmer and A. Kleppe . The Object Constraint Language: Precise Modeling with UML . Addison Wesley , 1999 . J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison Wesley, 1999."},{"key":"e_1_3_2_1_45_1","series-title":"LNCS","first-page":"192","volume-title":"TOOLS","author":"EriLex H. Xu.","year":"2010","unstructured":"H. Xu. EriLex : An Embedded Domain Specific Language Generator . In TOOLS , volume 6141 of LNCS , pages 192 -- 212 . Springer , 2010 . H. Xu. EriLex: An Embedded Domain Specific Language Generator. In TOOLS, volume 6141 of LNCS, pages 192--212. Springer, 2010."}],"event":{"name":"PPPJ '11: Principles and Practice of Programming in Java","sponsor":["DTU Technical University of Denmark","ORACLE ORACLE","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Kongens Lyngby Denmark","acronym":"PPPJ '11"},"container-title":["Proceedings of the 9th International Conference on Principles and Practice of Programming in Java"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2093157.2093163","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2093157.2093163","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:45Z","timestamp":1750240125000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2093157.2093163"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,24]]},"references-count":44,"alternative-id":["10.1145\/2093157.2093163","10.1145\/2093157"],"URL":"https:\/\/doi.org\/10.1145\/2093157.2093163","relation":{},"subject":[],"published":{"date-parts":[[2011,8,24]]},"assertion":[{"value":"2011-08-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}