{"id":"https://openalex.org/W2014585408","doi":"https://doi.org/10.1145/2480362.2480654","title":"Implementing Java-like languages in Xtext with Xsemantics","display_name":"Implementing Java-like languages in Xtext with Xsemantics","publication_year":2013,"publication_date":"2013-03-18","ids":{"openalex":"https://openalex.org/W2014585408","doi":"https://doi.org/10.1145/2480362.2480654","mag":"2014585408"},"language":"en","primary_location":{"id":"doi:10.1145/2480362.2480654","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2480362.2480654","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083629281","display_name":"Lorenzo Bettini","orcid":"https://orcid.org/0000-0002-4481-8096"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Lorenzo Bettini","raw_affiliation_strings":["Universit\u00e0 di Torino"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Torino","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083629281"],"corresponding_institution_ids":["https://openalex.org/I55143463"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1559","last_page":"1564"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8484314680099487},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8091784715652466},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7386480569839478},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5498615503311157},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5090660452842712},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.505362331867218},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4881497323513031},{"id":"https://openalex.org/keywords/abstract-syntax","display_name":"Abstract syntax","score":0.4846692383289337},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4824541211128235},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.4556494355201721},{"id":"https://openalex.org/keywords/generics-in-java","display_name":"Generics in Java","score":0.430630624294281},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.3443153500556946},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.1998382806777954},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19641751050949097},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.15983739495277405},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.10687524080276489}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8484314680099487},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8091784715652466},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7386480569839478},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5498615503311157},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5090660452842712},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.505362331867218},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4881497323513031},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.4846692383289337},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4824541211128235},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.4556494355201721},{"id":"https://openalex.org/C172482141","wikidata":"https://www.wikidata.org/wiki/Q379273","display_name":"Generics in Java","level":5,"score":0.430630624294281},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.3443153500556946},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.1998382806777954},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19641751050949097},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.15983739495277405},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.10687524080276489},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2480362.2480654","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2480362.2480654","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:flore.unifi.it:2158/1039583","is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?doid=2480362.2480654","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.7599999904632568,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W10942622","https://openalex.org/W34866348","https://openalex.org/W128286996","https://openalex.org/W616057627","https://openalex.org/W1005183650","https://openalex.org/W1518650316","https://openalex.org/W1891842933","https://openalex.org/W1939467000","https://openalex.org/W1949851419","https://openalex.org/W1968728657","https://openalex.org/W1976218147","https://openalex.org/W2005915144","https://openalex.org/W2022744394","https://openalex.org/W2033348393","https://openalex.org/W2034276442","https://openalex.org/W2069411162","https://openalex.org/W2094080019","https://openalex.org/W2096529083","https://openalex.org/W2125872407","https://openalex.org/W2125876733","https://openalex.org/W2137321318","https://openalex.org/W2139828164","https://openalex.org/W2145809484","https://openalex.org/W2170094905","https://openalex.org/W2202435499","https://openalex.org/W2294680933","https://openalex.org/W4244745555","https://openalex.org/W4253228043","https://openalex.org/W4285719527","https://openalex.org/W6601431869","https://openalex.org/W6631265401","https://openalex.org/W6687901461"],"related_works":["https://openalex.org/W2990282666","https://openalex.org/W2770780096","https://openalex.org/W2374055244","https://openalex.org/W2565200993","https://openalex.org/W4288358733","https://openalex.org/W2965097461","https://openalex.org/W2944379287","https://openalex.org/W2910182226","https://openalex.org/W4288639287","https://openalex.org/W2139628421"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3],"present":[4,57],"Xsemantics,":[5],"a":[6,34,45,53],"DSL":[7],"for":[8,19],"writing":[9],"type":[10,69],"systems,":[11],"reduction":[12],"rules":[13,18,51],"and":[14,36,71],"in":[15,22,40,52,64,74],"general":[16],"relation":[17],"languages":[20],"implemented":[21],"Xtext.":[23],"Xsemantics":[24],"aims":[25],"at":[26],"minimizing":[27],"the":[28,31,37,49,85],"gap":[29],"between":[30],"formalization":[32,87],"of":[33,60,88],"language":[35],"actual":[38,86],"implementation":[39,59,80],"Xtext,":[41],"since":[42],"it":[43],"uses":[44],"syntax":[46],"that":[47],"resembles":[48],"typical":[50],"formal":[54],"setting.":[55],"We":[56,76],"an":[58],"FJ":[61],"(Featherweight":[62],"Java)":[63],"Xtext":[65],"together":[66],"with":[67],"its":[68],"system":[70],"operational":[72],"semantics":[73],"Xsemantics.":[75],"show":[77],"how":[78],"such":[79],"is":[81],"pretty":[82],"faithful":[83],"to":[84],"FJ.":[89]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}