{"id":"https://openalex.org/W4235416634","doi":"https://doi.org/10.1145/503032","title":"Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation","display_name":"Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation","publication_year":2002,"publication_date":"2002-01-14","ids":{"openalex":"https://openalex.org/W4235416634","doi":"https://doi.org/10.1145/503032"},"language":"en","primary_location":{"id":"doi:10.1145/503032","is_oa":false,"landing_page_url":"https://doi.org/10.1145/503032","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.982699990272522,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.982699990272522,"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/T10260","display_name":"Software Engineering Research","score":0.9825999736785889,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9818000197410583,"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/computer-science","display_name":"Computer science","score":0.8238259553909302},{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"Partial evaluation","score":0.7735089063644409},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7343430519104004},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6552170515060425},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5985853672027588},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.5520517826080322},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5405101180076599},{"id":"https://openalex.org/keywords/software-portability","display_name":"Software portability","score":0.48253557085990906},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4418479800224304},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4359331727027893},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3919253945350647}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8238259553909302},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.7735089063644409},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7343430519104004},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6552170515060425},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5985853672027588},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.5520517826080322},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5405101180076599},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.48253557085990906},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4418479800224304},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4359331727027893},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3919253945350647}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/503032","is_oa":false,"landing_page_url":"https://doi.org/10.1145/503032","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1498982577","https://openalex.org/W2519339279","https://openalex.org/W2017260672","https://openalex.org/W1601811574","https://openalex.org/W1558871923","https://openalex.org/W1587224678","https://openalex.org/W2787105657","https://openalex.org/W1550946868","https://openalex.org/W1487968752","https://openalex.org/W2136500087"],"abstract_inverted_index":{"The":[0,18,196,232],"PEPM'02":[1],"workshop":[2,19,186],"is":[3,150],"bringing":[4],"together":[5],"researchers":[6],"working":[7],"in":[8,79,190,254],"the":[9,28,185,211,221,251,260],"areas":[10],"of":[11,27,32,84,127,164,193,259],"semantics-based":[12],"program":[13,45,47,128],"manipulation":[14,31,43,129],"and":[15,25,30,82,105,108,134,145,156,177,187,227],"partial":[16,52,55],"evaluation.":[17],"focuses":[20],"on":[21,143,153,237],"techniques,":[22,106],"supporting":[23],"theory,":[24],"applications":[26],"analysis":[29,66],"programs.":[33],"Technical":[34],"topics":[35,147],"include,":[36],"but":[37],"are":[38,188],"not":[39],"limited":[40],"to":[41,131],"Program":[42,65],"techniques:":[44,67],"transformation,":[46],"specialization,":[48,50],"type":[49],"syntax-directed":[51],"evaluation,":[53,56],"type-directed":[54],"normalization,":[57],"continuations,":[58],"re":[59],"ection,":[60],"rewriting,":[61],"run-time":[62],"code":[63],"generation.":[64],"abstract":[68],"interpretation,":[69],"static":[70],"analysis,":[71,73],"binding-time":[72],"attribute":[74],"grammars,":[75],"con-straints.":[76],"Related":[77],"issues":[78],"language":[80,135],"design":[81],"models":[83],"computation:":[85],"imperative,":[86],"functional,":[87],"logical,":[88],"object-oriented,":[89],"parallel,":[90],"distributed,":[91],"mobile,":[92],"secure,":[93],"domain-specific.":[94],"Programs":[95],"as":[96,168,170],"data":[97],"objects:":[98],"staging,":[99],"meta-programming,":[100],"incremental":[101],"computation,":[102],"mobility,":[103],"tools":[104],"pro-totyping":[107],"debugging.":[109],"Applications:":[110],"systems":[111],"programming,":[112],"scientific":[113],"computing,":[114],"algorithmics,":[115],"graphics,":[116],"security":[117],"checking,":[118],"simulation,":[119],"compiler":[120,122],"generation,":[121],"optimization,":[123],"decompilation.":[124],"Assessment:":[125],"applicability":[126],"techniques":[130],"particular":[132],"architectures":[133],"paradigms,":[136],"scalability,":[137],"benchmarking,":[138],"portability.Original":[139],"results":[140],"that":[141],"bear":[142],"these":[144],"related":[146],"were":[148,182,199,234],"solicited.PEPM'02":[149],"taking":[151],"place":[152],"January":[154],"14th":[155],"15th,":[157],"2002,":[158],"preceding":[159],"POPL":[160],"2002.":[161],"It":[162],"consists":[163],"11":[165,197],"contributed":[166],"papers,":[167],"well":[169],"invited":[171],"talks":[172],"delivered":[173],"by":[174],"Craig":[175],"Chambers":[176],"Paul":[178],"Hovland.":[179],"These":[180,205],"proceedings":[181],"distributed":[183],"at":[184],"published":[189],"an":[191],"issue":[192],"SIGPLAN":[194],"Notices.":[195],"papers":[198,233],"selected":[200,235],"from":[201,208,230],"among":[202],"22":[203],"submissions.":[204],"submissions":[206],"came":[207],"all":[209,229],"over":[210],"world:":[212],"Australia,":[213],"China,":[214],"Denmark,":[215],"France,":[216],"Germany,":[217],"Italy,":[218],"Japan,":[219],"Korea,":[220],"Netherlands,":[222],"Portugal,":[223],"Singapore,":[224],"Spain,":[225],"USA,":[226],"UK,":[228],"academia.":[231],"based":[236],"78":[238],"reviews":[239],"(3.5":[240],"per":[241],"submission),":[242],"during":[243],"a":[244,257],"week-long":[245],"electronic":[246],"PC":[247,261],"meeting.":[248],"Notifications":[249],"included":[250],"reviews,":[252],"and,":[253],"some":[255],"cases,":[256],"summary":[258],"meeting":[262],"discussion.":[263]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}