{"id":"https://openalex.org/W1964293638","doi":"https://doi.org/10.1145/1449913.1449925","title":"Integrating semantics and compilation","display_name":"Integrating semantics and compilation","publication_year":2008,"publication_date":"2008-10-19","ids":{"openalex":"https://openalex.org/W1964293638","doi":"https://doi.org/10.1145/1449913.1449925","mag":"1964293638"},"language":"en","primary_location":{"id":"doi:10.1145/1449913.1449925","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1449913.1449925","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th international conference on Generative programming and component engineering","raw_type":"proceedings-article"},"type":"article","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/A5051793103","display_name":"Peter Gottschling","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Peter Gottschling","raw_affiliation_strings":["Dresden University of Technology, Dresden, Germany","Dresden University of Technology , Dresden , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dresden University of Technology, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Dresden University of Technology , Dresden , Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074260102","display_name":"Andrew Lumsdaine","orcid":"https://orcid.org/0000-0002-9153-6622"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrew Lumsdaine","raw_affiliation_strings":["Indidana University, Bloomington, IN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indidana University, Bloomington, IN, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.351,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.89443005,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"76"},"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.9994999766349792,"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.9994999766349792,"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/T10260","display_name":"Software Engineering Research","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.8620676398277283},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7849441766738892},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.694661021232605},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6577252149581909},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5120859146118164},{"id":"https://openalex.org/keywords/generic-programming","display_name":"Generic programming","score":0.4935494661331177},{"id":"https://openalex.org/keywords/abstract-data-type","display_name":"Abstract data type","score":0.43116217851638794}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8620676398277283},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7849441766738892},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.694661021232605},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6577252149581909},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5120859146118164},{"id":"https://openalex.org/C7051814","wikidata":"https://www.wikidata.org/wiki/Q1051282","display_name":"Generic programming","level":2,"score":0.4935494661331177},{"id":"https://openalex.org/C175971053","wikidata":"https://www.wikidata.org/wiki/Q827335","display_name":"Abstract data type","level":2,"score":0.43116217851638794},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1449913.1449925","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1449913.1449925","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th international conference on Generative programming and component engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310145","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W53500718","https://openalex.org/W651716066","https://openalex.org/W1798190463","https://openalex.org/W2020804487","https://openalex.org/W2060173806","https://openalex.org/W2068810256","https://openalex.org/W2100165879","https://openalex.org/W2123245038","https://openalex.org/W2129785505","https://openalex.org/W2133625592","https://openalex.org/W2169878887","https://openalex.org/W2223046624","https://openalex.org/W2316564661","https://openalex.org/W2602645338","https://openalex.org/W3022909171","https://openalex.org/W4243221783","https://openalex.org/W6655892977","https://openalex.org/W6685027734"],"related_works":["https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W188282463","https://openalex.org/W2073905442","https://openalex.org/W4244890543","https://openalex.org/W2159612723","https://openalex.org/W4250535452"],"abstract_inverted_index":{"Concepts":[0,39],"are":[1,129,154],"a":[2,73,97,102],"recently":[3],"proposed":[4],"extension":[5],"to":[6,131,150,157,160],"C++":[7],"for":[8,21,44,58,101,144],"the":[9,17,48,70,92,117,151,161],"direct":[10],"linguistic":[11],"support":[12],"of":[13,65,72,75,105,121,133,146],"generic":[14,23,45,107],"programming.":[15],"As":[16],"interface":[18],"description":[19,118],"mechanism":[20],"large-scale":[22],"libraries,":[24],"concepts":[25,93,114,128,140],"do":[26],"not":[27,141],"exist":[28],"in":[29,33,69],"isolation,":[30],"but":[31],"rather":[32],"semantic":[34],"frameworks":[35],"(or":[36],"concept":[37],"lattices).":[38],"provide":[40],"powerful":[41],"type-checking":[42],"capabilities":[43,57,68],"programming":[46],"and":[47,55,86,119],"semantics":[49],"associated":[50],"with":[51],"them":[52],"present":[53],"new":[54],"interesting":[56],"library-compiler":[59],"interactions.":[60],"This":[61],"paper":[62],"presents":[63],"some":[64],"these":[66],"emergent":[67],"context":[71],"library":[74,162],"algebraic":[76],"concepts.":[77],"Based":[78],"on":[79,139],"this":[80],"library,":[81],"which":[82],"possesses":[83],"rich,":[84],"well-structured":[85],"mathematically-based":[87],"semantics,":[88],"we":[89,111],"demonstrate":[90],"how":[91],"therein":[94],"can":[95,115],"enable":[96,116],"sophisticated":[98],"oncept-aware":[99],"design":[100],"broad":[103],"range":[104],"scientific":[106],"libraries.":[108],"In":[109],"particular,":[110],"show":[112],"that":[113],"application":[120],"property-based,":[122],"library-defined,":[123],"optimizations.":[124],"Whereas":[125],"compilers":[126],"without":[127],"limited":[130],"optimization":[132],"built-in":[134],"types,":[135],"library-defined":[136],"optimizations":[137,145],"based":[138],"only":[142],"allow":[143],"user-defined":[147],"types":[148,158],"unknown":[149,159],"compiler,":[152],"they":[153],"even":[155],"applicable":[156],"developer.":[163]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}