{"id":"https://openalex.org/W4234823124","doi":"https://doi.org/10.1145/964001","title":"Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages","display_name":"Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages","publication_year":2004,"publication_date":"2004-01-14","ids":{"openalex":"https://openalex.org/W4234823124","doi":"https://doi.org/10.1145/964001"},"language":"en","primary_location":{"id":"doi:10.1145/964001","is_oa":false,"landing_page_url":"https://doi.org/10.1145/964001","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":22,"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/T10260","display_name":"Software Engineering Research","score":0.9703999757766724,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9703999757766724,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9192000031471252,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9144999980926514,"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.6437860727310181},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.5825316309928894},{"id":"https://openalex.org/keywords/clarity","display_name":"CLARITY","score":0.5619469285011292},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.549349308013916},{"id":"https://openalex.org/keywords/originality","display_name":"Originality","score":0.49126118421554565},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39988625049591064},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.19152933359146118},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.09132564067840576},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.08410561084747314}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6437860727310181},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.5825316309928894},{"id":"https://openalex.org/C2777146004","wikidata":"https://www.wikidata.org/wiki/Q14949826","display_name":"CLARITY","level":2,"score":0.5619469285011292},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.549349308013916},{"id":"https://openalex.org/C2776950860","wikidata":"https://www.wikidata.org/wiki/Q2914681","display_name":"Originality","level":3,"score":0.49126118421554565},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39988625049591064},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.19152933359146118},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.09132564067840576},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.08410561084747314},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.0},{"id":"https://openalex.org/C11012388","wikidata":"https://www.wikidata.org/wiki/Q170658","display_name":"Creativity","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/964001","is_oa":false,"landing_page_url":"https://doi.org/10.1145/964001","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":[{"score":0.46000000834465027,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2593155302","https://openalex.org/W2041415459","https://openalex.org/W2072812638","https://openalex.org/W3126095231","https://openalex.org/W2086338133","https://openalex.org/W2352855287","https://openalex.org/W2378906650","https://openalex.org/W2384288445","https://openalex.org/W2382526412","https://openalex.org/W4200071106"],"abstract_inverted_index":{"This":[0,46],"volume":[1,231],"contains":[2],"the":[3,8,30,74,89,112,117,125,136,145,150,153,156,170,173,196,209,215,225,239,252,260],"papers":[4,57,164,226,261],"presented":[5],"at":[6,84],"POPL'04,":[7],"Thirty-First":[9],"Annual":[10],"ACM":[11],"SIGPLAN-SIGACT":[12],"Symposium":[13],"on":[14,29],"Principles":[15],"of":[16,27,38,54,73,88,127,152,159,195,217,251,259],"Programming":[17,199],"Languages.":[18],"The":[19,203,242],"POPL":[20],"conference":[21,48,154,243],"is":[22,49,255],"a":[23,63,102,106,121],"forum":[24],"for":[25,65,273],"presentation":[26],"research":[28],"design,":[31],"foundations,":[32],"analysis,":[33],"transformation,":[34],"implementation":[35],"and":[36,43,81,92,105,142,155,183,186,213,223,236,267],"verification":[37],"programming":[39,41,44],"languages,":[40],"systems":[42],"abstractions.":[45],"year's":[47],"in":[50,60,110,229,234],"Venice,":[51],"Italy.A":[52],"total":[53],"176":[55],"full":[56,249],"were":[58,96,114,165,206,221],"received":[59],"response":[61],"to":[62,124,135,144,149,169,211,269],"call":[64],"papers.":[66,129,241],"SIGPLAN":[67,198],"policy":[68],"forbids":[69],"submission":[70,78],"from":[71,98,238],"members":[72,87],"program":[75,90,118,175,216],"committee.":[76],"Each":[77,130],"was":[79,132],"read":[80,222],"reviewed":[82],"by":[83,116,180,190,208],"least":[85],"three":[86],"committee,":[91],"often":[93],"supplementary":[94],"evaluations":[95],"solicited":[97],"outside":[99],"experts.":[100],"During":[101],"one":[103,187],"day":[104],"half":[107],"meeting":[108],"held":[109],"Paris,":[111],"submissions":[113,160,220],"discussed":[115],"committee":[119,210],"as":[120],"whole,":[122],"leading":[123],"selection":[126,244],"29":[128],"paper":[131],"judged":[133],"according":[134],"originality,":[137],"clarity,":[138],"innovation,":[139],"perceived":[140],"importance,":[141],"appropriateness":[143],"expected":[146,256],"audience.":[147],"Due":[148],"format":[151],"high":[157],"number":[158],"received,":[161],"many":[162,258],"good":[163],"not":[166,247],"selected.In":[167],"addition":[168],"contributed":[171,218],"papers,":[172],"POPL'04":[174],"features":[176],"two":[177],"invited":[178,204],"talks":[179],"Javier":[181],"Esparza":[182],"Davide":[184],"Sangiorgi,":[185],"award":[188],"lecture":[189],"John":[191],"C.":[192],"Reynolds,":[193],"recipient":[194],"2004":[197],"Language":[200],"Achievement":[201],"Award.":[202],"speakers":[205],"selected":[207],"complement":[212],"enhance":[214],"papers.Although":[219],"evaluated,":[224],"that":[227,257],"appear":[228],"this":[230],"may":[232],"differ":[233],"form":[235],"content":[237],"submitted":[240,268],"process":[245],"does":[246],"constitute":[248],"review":[250],"work.":[253],"It":[254],"printed":[262],"here":[263],"will":[264],"be":[265],"revised":[266],"refereed":[270],"archival":[271],"journals":[272],"publication.":[274]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}