{"id":"https://openalex.org/W3022934173","doi":"https://doi.org/10.1145/3372895","title":"A Theory of Slicing for Imperative Probabilistic Programs","display_name":"A Theory of Slicing for Imperative Probabilistic Programs","publication_year":2020,"publication_date":"2020-04-17","ids":{"openalex":"https://openalex.org/W3022934173","doi":"https://doi.org/10.1145/3372895","mag":"3022934173"},"language":"en","primary_location":{"id":"doi:10.1145/3372895","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3372895","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3372895","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3372895","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112777683","display_name":"Torben Amtoft","orcid":null},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Torben Amtoft","raw_affiliation_strings":["Kansas State University, Manhattan, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kansas State University, Manhattan, USA","institution_ids":["https://openalex.org/I189590672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003706361","display_name":"Anindya Banerjee","orcid":"https://orcid.org/0000-0001-9979-1292"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Anindya Banerjee","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.193,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.78931603,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"42","issue":"2","first_page":"1","last_page":"71"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8514827489852905},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.8503283858299255},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.7440358400344849},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.7385396361351013},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6341451406478882},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5410346984863281},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5194879770278931},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.4544657766819},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45016488432884216},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4484975039958954},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.4213988184928894},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.41503244638442993},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39499038457870483},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.3565586805343628},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17976710200309753}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8514827489852905},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8503283858299255},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.7440358400344849},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.7385396361351013},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6341451406478882},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5410346984863281},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5194879770278931},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4544657766819},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45016488432884216},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4484975039958954},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.4213988184928894},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.41503244638442993},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39499038457870483},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.3565586805343628},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17976710200309753},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3372895","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3372895","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3372895","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3372895","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3372895","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3372895","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3022934173.pdf","grobid_xml":"https://content.openalex.org/works/W3022934173.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W72346910","https://openalex.org/W1506151672","https://openalex.org/W1540519426","https://openalex.org/W1549039738","https://openalex.org/W1575308494","https://openalex.org/W1595069411","https://openalex.org/W2000108089","https://openalex.org/W2002442023","https://openalex.org/W2008059658","https://openalex.org/W2014354084","https://openalex.org/W2024355065","https://openalex.org/W2053408591","https://openalex.org/W2066486177","https://openalex.org/W2073172264","https://openalex.org/W2076807040","https://openalex.org/W2111304450","https://openalex.org/W2135988257","https://openalex.org/W2147082313","https://openalex.org/W2152565800","https://openalex.org/W2166496828","https://openalex.org/W2222812367","https://openalex.org/W2293624369","https://openalex.org/W2295266283","https://openalex.org/W2468557771","https://openalex.org/W2470141408","https://openalex.org/W2474495061","https://openalex.org/W2767778696","https://openalex.org/W2782235253","https://openalex.org/W2797207385","https://openalex.org/W6610773549"],"related_works":["https://openalex.org/W1506151672","https://openalex.org/W2357938571","https://openalex.org/W2038373197","https://openalex.org/W2289630902","https://openalex.org/W2032335318","https://openalex.org/W2293624369","https://openalex.org/W2392294830","https://openalex.org/W3161919752","https://openalex.org/W2108399206","https://openalex.org/W2306294637"],"abstract_inverted_index":{"Dedicated":[0],"to":[1,55,118,146],"the":[2,56,61,81,89,92,120,147,174,179,182,193,196,201],"memory":[3],"of":[4,42,63,83,91,98,133,149,184,195,198,204],"Sebastian":[5],"Danicic.":[6],"We":[7,24,59],"present":[8],"a":[9,75,165,190],"theory":[10],"for":[11,22],"slicing":[12,64,148],"imperative":[13,151,206],"probabilistic":[14,29,57,152,207],"programs":[15,27],"containing":[16],"random":[17],"assignments":[18],"and":[19,52],"\u201cobserve\u201d":[20],"statements":[21],"conditioning.":[23],"represent":[25],"such":[26,45,87,107,164],"as":[28,46,154,178],"control-flow":[30],"graphs":[31],"(pCFGs)":[32],"whose":[33],"nodes":[34],"modify":[35],"probability":[36],"distributions.":[37],"This":[38],"allows":[39],"direct":[40],"adaptation":[41],"standard":[43,202],"machinery":[44],"data":[47],"dependence,":[48],"postdominators,":[49],"relevant":[50],"variables,":[51],"so":[53],"on,":[54],"setting.":[58],"separate":[60],"specification":[62],"from":[65],"its":[66,170],"implementation:":[67],"(1)":[68],"first,":[69],"we":[70,103,114,127,167],"develop":[71],"syntactic":[72],"conditions":[73],"that":[74,88,105,135],"slice":[76,86,108],"must":[77],"satisfy":[78],"(they":[79],"involve":[80],"existence":[82],"another":[84],"disjoint":[85],"variables":[90],"two":[93],"slices":[94],"are":[95],"probabilistically":[96],"independent":[97],"each":[99],"other);":[100],"(2)":[101],"next,":[102],"prove":[104],"any":[106],"is":[109,187],"semantically":[110],"correct;":[111],"(3)":[112],"finally,":[113],"give":[115],"an":[116],"algorithm":[117],"compute":[119],"least":[121],"slice.":[122],"To":[123],"generate":[124],"smaller":[125],"slices,":[126],"may":[128],"in":[129,156],"addition":[130],"take":[131],"advantage":[132],"knowledge":[134],"certain":[136],"loops":[137],"will":[138],"terminate":[139],"(almost)":[140],"always.":[141],"Our":[142],"results":[143],"carry":[144],"over":[145],"structured":[150,205],"programs,":[153],"handled":[155],"recent":[157],"work":[158],"by":[159],"Hur":[160],"et":[161],"al.":[162],"For":[163],"program,":[166],"can":[168],"define":[169],"slice,":[171],"which":[172],"has":[173],"same":[175],"\u201cnormalized\u201d":[176],"semantics":[177,197,203],"original":[180],"program;":[181],"proof":[183],"this":[185],"property":[186],"based":[188],"on":[189],"result":[191],"proving":[192],"adequacy":[194],"pCFGs":[199],"w.r.t.":[200],"programs.":[208]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}