{"id":"https://openalex.org/W2114272403","doi":"https://doi.org/10.1145/1774088.1774537","title":"General constant expressions for system programming languages","display_name":"General constant expressions for system programming languages","publication_year":2010,"publication_date":"2010-03-22","ids":{"openalex":"https://openalex.org/W2114272403","doi":"https://doi.org/10.1145/1774088.1774537","mag":"2114272403"},"language":"en","primary_location":{"id":"doi:10.1145/1774088.1774537","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1774088.1774537","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 ACM Symposium on Applied Computing","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/A5112412433","display_name":"Gabriel Dos Reis","orcid":"https://orcid.org/0000-0002-1908-1424"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gabriel Dos Reis","raw_affiliation_strings":["Texas A&M University"],"affiliations":[{"raw_affiliation_string":"Texas A&M University","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109807287","display_name":"Bjarne Stroustrup","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bjarne Stroustrup","raw_affiliation_strings":["Texas A&M University"],"affiliations":[{"raw_affiliation_string":"Texas A&M University","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5112412433"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3531,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.84934418,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"2131","last_page":"2136"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9962000250816345,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8619803786277771},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.820704460144043},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8162503838539124},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6581748723983765},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.6128162145614624},{"id":"https://openalex.org/keywords/generic-programming","display_name":"Generic programming","score":0.5496481657028198},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.518152117729187},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5025777816772461},{"id":"https://openalex.org/keywords/metaprogramming","display_name":"Metaprogramming","score":0.4993264675140381},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.49551546573638916},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4513794183731079},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.345511257648468},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14841541647911072}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8619803786277771},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.820704460144043},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8162503838539124},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6581748723983765},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.6128162145614624},{"id":"https://openalex.org/C7051814","wikidata":"https://www.wikidata.org/wiki/Q1051282","display_name":"Generic programming","level":2,"score":0.5496481657028198},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.518152117729187},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5025777816772461},{"id":"https://openalex.org/C35390924","wikidata":"https://www.wikidata.org/wiki/Q661075","display_name":"Metaprogramming","level":2,"score":0.4993264675140381},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.49551546573638916},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4513794183731079},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.345511257648468},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14841541647911072}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1774088.1774537","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1774088.1774537","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 ACM Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G313180273","display_name":null,"funder_award_id":"CCF-0702765","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337387","display_name":"Division of Computing and Communication Foundations","ror":"https://ror.org/01mng8331"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1498739950","https://openalex.org/W1556604985","https://openalex.org/W1558288195","https://openalex.org/W2096314727","https://openalex.org/W2102890180","https://openalex.org/W2114257619","https://openalex.org/W2117174233","https://openalex.org/W2118002698","https://openalex.org/W2308249096","https://openalex.org/W2914260883","https://openalex.org/W3163302786","https://openalex.org/W3200788958"],"related_works":["https://openalex.org/W1825832369","https://openalex.org/W2048147817","https://openalex.org/W2073905442","https://openalex.org/W1530078320","https://openalex.org/W3082173509","https://openalex.org/W1492181831","https://openalex.org/W2041630899","https://openalex.org/W2021229780","https://openalex.org/W2137857582","https://openalex.org/W4234773973"],"abstract_inverted_index":{"Most":[0],"mainstream":[1],"system":[2,76,149],"programming":[3,77,134,137],"languages":[4],"provide":[5],"support":[6,52,130],"for":[7,67,131,183],"builtin":[8],"types,":[9,90],"and":[10,60,86,106,135,177,190],"extension":[11,145],"mechanisms":[12],"through":[13],"userdefined":[14],"types.":[15],"They":[16],"also":[17],"come":[18],"with":[19,50,150],"a":[20,65,104,112,151],"notion":[21,70],"of":[22,71,88,97,146,193],"constant":[23,41,72],"expressions":[24,27,42,73],"whereby":[25],"some":[26],"(such":[28],"as":[29,143],"array":[30],"bounds)":[31],"can":[32],"be":[33,44,120],"evaluated":[34,121],"at":[35,122],"compile":[36,81,123],"time.":[37,124],"However,":[38],"they":[39],"require":[40],"to":[43,84,114,158,168,172],"written":[45],"in":[46,74,174,185],"an":[47,117,144],"impoverished":[48],"language":[49],"minimal":[51],"from":[53],"the":[54,69,186,194],"type":[55,107,148],"system;":[56],"this":[57],"is":[58,141,191],"tedious":[59],"error-prone.":[61],"This":[62],"paper":[63],"presents":[64],"framework":[66,140],"generalizing":[68],"modern":[75],"languages.":[78],"It":[79,110,155,179],"extends":[80],"time":[82,153],"evaluation":[83],"functions":[85],"variables":[87],"user-defined":[89],"thereby":[91],"including":[92],"formerly":[93],"ad":[94],"hoc":[95],"notions":[96],"Read":[98],"Only":[99],"Memory":[100],"(ROM)":[101],"objects":[102],"into":[103],"general":[105],"safe":[108],"framework.":[109],"allows":[111],"programmer":[113],"specify":[115],"that":[116],"operation":[118],"must":[119],"Furthermore,":[125],"it":[126],"provides":[127],"more":[128],"direct":[129],"key":[132,164],"meta":[133],"generative":[136],"techniques.":[138],"The":[139],"formalized":[142],"underlying":[147],"binding":[152],"analysis.":[154],"was":[156],"designed":[157],"meet":[159],"real-world":[160],"requirements.":[161],"In":[162],"particular,":[163],"design":[165],"decisions":[166],"relate":[167],"balancing":[169],"expressive":[170],"power":[171],"implementability":[173],"industrial":[175],"compilers":[176],"teachability.":[178],"has":[180],"been":[181],"implemented":[182],"C++":[184,197],"GNU":[187],"Compiler":[188],"Collection,":[189],"part":[192],"next":[195],"ISO":[196],"standard.":[198]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}