{"id":"https://openalex.org/W2914233782","doi":"https://doi.org/10.1145/2676726","title":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","display_name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","publication_year":2014,"publication_date":"2014-12-19","ids":{"openalex":"https://openalex.org/W2914233782","doi":"https://doi.org/10.1145/2676726","mag":"2914233782"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2676726","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"paratext","type_crossref":"proceedings","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institution_assertions":[],"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":48,"citation_normalized_percentile":{"value":0.959641,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9929,"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":"Program Analysis and Verification Techniques","score":0.9929,"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/T10743","display_name":"Automated Software Testing Techniques","score":0.9656,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Performance Optimization","score":0.9574,"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/programming-language-semantics","display_name":"Programming Language Semantics","score":0.510024}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6856445},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6360708},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.53397393},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.462112},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.3905081},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32572183},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.09572488},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2676726","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4243252198","https://openalex.org/W3157866078","https://openalex.org/W3137189469","https://openalex.org/W3006199460","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W2087060298","https://openalex.org/W2027798793","https://openalex.org/W1601811574","https://openalex.org/W1587224678"],"abstract_inverted_index":{"It":[0],"is":[1],"our":[2],"great":[3],"pleasure":[4],"to":[5,8,72,102],"welcome":[6],"you":[7,101],"the":[9,25,41,47,65,106,127],"42nd":[10],"ACM":[11,110],"Symposium":[12],"on":[13,113,120,139,153,169],"Principles":[14],"of":[15,36,58],"Programming":[16,123,133,147,176],"Languages,":[17],"POPL":[18],"2015,":[19],"held":[20],"in":[21,74,97,105,175],"Mumbai,":[22,98],"India,":[23],"at":[24,46,95],"beautiful":[26],"Tata":[27],"Institute":[28],"for":[29,122,132,165],"Fundamental":[30],"Research.":[31],"This":[32],"year's":[33],"program":[34,81],"consists":[35],"52":[37],"papers":[38,43,53],"drawn":[39],"from":[40,61,86],"227":[42],"originally":[44],"submitted":[45],"July":[48],"2014":[49],"paper":[50],"deadline.":[51],"These":[52],"cover":[54],"a":[55],"wide":[56],"range":[57],"topics":[59],"stretching":[60],"theoretical":[62],"foundations":[63],"concerning":[64],"lambda":[66],"calculus,":[67],"type":[68],"theory":[69],"and":[70,77,91,116,142,157,162,172],"verification":[71],"applications":[73],"security,":[75],"networking,":[76],"web":[78],"programming.":[79],"The":[80],"also":[82],"features":[83],"invited":[84],"talks":[85],"Peter":[87,92],"Buneman,":[88],"Sumit":[89],"Gulwani":[90],"Lee.":[93],"While":[94],"POPL'15":[96],"we":[99],"encourage":[100],"take":[103],"part":[104],"following":[107],"co-located":[108],"events:":[109],"SIGPLAN":[111,137,146],"Conference":[112,152],"Certified":[114],"Programs":[115],"Proofs":[117],"(CPP)International":[118],"Workshop":[119,138,150,168],"Coq":[121],"Languages":[124,134,148,161,177],"(CoqPL)POPL":[125],"Off":[126],"Beaten":[128],"Track:":[129],"New":[130],"Frontiers":[131],"Research":[135,171],"(OBT)ACM":[136],"Partial":[140],"Evaluation":[141],"Program":[143],"Manipulation":[144],"(PEPM)ACM":[145],"Mentoring":[149],"(PLMW)International":[151],"Verification,":[154],"Model":[155],"Checking":[156],"Abstract":[158],"Interpretation":[159],"(VMCAI)Programming":[160],"Verification":[163],"Technology":[164],"Networking":[166],"(PLVNET)IMPECS-POPL":[167],"Emerging":[170],"Development":[173],"Trends":[174],"(WEPL)Six":[178],"tutorials.":[179]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2914233782","counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":6},{"year":2013,"cited_by_count":1}],"updated_date":"2024-11-30T01:25:11.473106","created_date":"2019-02-21"}