{"id":"https://openalex.org/W4384919633","doi":"https://doi.org/10.48550/arxiv.2307.09951","title":"Symbolic Semantics for Probabilistic Programs (extended version)","display_name":"Symbolic Semantics for Probabilistic Programs (extended version)","publication_year":2023,"publication_date":"2023-07-19","ids":{"openalex":"https://openalex.org/W4384919633","doi":"https://doi.org/10.48550/arxiv.2307.09951"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2307.09951","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2307.09951","pdf_url":"https://arxiv.org/pdf/2307.09951","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2307.09951","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066576798","display_name":"Erik Voogd","orcid":"https://orcid.org/0009-0007-9712-3224"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Voogd, Erik","raw_affiliation_strings":["University of Oslo, Oslo, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039414480","display_name":"Einar Broch Johnsen","orcid":"https://orcid.org/0000-0001-5382-3949"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Johnsen, Einar Broch","raw_affiliation_strings":["University of Oslo, Oslo, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100658822","display_name":"Alexandra Silva","orcid":"https://orcid.org/0000-0001-5014-9784"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Silva, Alexandra","raw_affiliation_strings":["Cornell University, Ithaca, New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, New York, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021082969","display_name":"Zachary J. Susag","orcid":"https://orcid.org/0000-0002-3981-9529"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Susag, Zachary J.","raw_affiliation_strings":["Cornell University, Ithaca, New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, New York, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056755949","display_name":"Andrzej W\u0105sowski","orcid":"https://orcid.org/0000-0003-0532-2685"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"W\u0105sowski, Andrzej","raw_affiliation_strings":["IT University of Copenhagen, Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.996399998664856,"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.9962999820709229,"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/correctness","display_name":"Correctness","score":0.7426525354385376},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7311452031135559},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.650849461555481},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6136851906776428},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5974129438400269},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5871034860610962},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5737094283103943},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47016212344169617},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.4560331106185913},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12814688682556152}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7426525354385376},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7311452031135559},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.650849461555481},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6136851906776428},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5974129438400269},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5871034860610962},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5737094283103943},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47016212344169617},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.4560331106185913},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12814688682556152},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2307.09951","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2307.09951","pdf_url":"https://arxiv.org/pdf/2307.09951","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:openaire/ddafa298-f2f8-4a42-8ac9-1460b033560b","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/ddafa298-f2f8-4a42-8ac9-1460b033560b","pdf_url":"https://arxiv.org/pdf/2307.09951.pdf","source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Voogd, E, Broch Johnsen, E, Silva, A, Susag, Z J & Wasowski, A 2023, Symbolic Semantics for Probabilistic Programs. in Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20\u201322, 2023, Proceedings. Springer, Lecture Notes in Computer Science, no. QEST, vol. 14287, pp. 329-345. https://doi.org/10.48550/arXiv.2307.09951","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"doi:10.48550/arxiv.2307.09951","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2307.09951","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2307.09951","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2307.09951","pdf_url":"https://arxiv.org/pdf/2307.09951","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4384919633.pdf","grobid_xml":"https://content.openalex.org/works/W4384919633.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W1002779697","https://openalex.org/W1494192115","https://openalex.org/W1634497122","https://openalex.org/W1710734607","https://openalex.org/W2494200839","https://openalex.org/W2615879196","https://openalex.org/W2963242323","https://openalex.org/W2963723316","https://openalex.org/W2977408235","https://openalex.org/W3132151609","https://openalex.org/W4210300416","https://openalex.org/W4232383088"],"related_works":["https://openalex.org/W3036972880","https://openalex.org/W3129725704","https://openalex.org/W2072493788","https://openalex.org/W2755363016","https://openalex.org/W2257517306","https://openalex.org/W91938043","https://openalex.org/W1768718906","https://openalex.org/W2245685274","https://openalex.org/W2158105805","https://openalex.org/W3007870257"],"abstract_inverted_index":{"We":[0,43,60],"present":[1],"a":[2,29,37,50],"new":[3,46],"symbolic":[4,25,55],"execution":[5,56],"semantics":[6,26,47,64],"of":[7,28,32,39,54],"probabilistic":[8,58],"programs":[9],"that":[10],"include":[11],"observe":[12],"statements":[13],"and":[14,69],"sampling":[15],"from":[16],"continuous":[17],"distributions.":[18],"Building":[19],"on":[20,73],"Kozen's":[21],"seminal":[22],"work,":[23],"this":[24,63],"consists":[27],"countable":[30],"collection":[31],"measurable":[33],"functions,":[34],"along":[35],"with":[36],"partition":[38],"the":[40,45,66],"state":[41],"space.":[42],"use":[44,72],"to":[48],"provide":[49],"full":[51],"correctness":[52],"proof":[53],"for":[57],"programs.":[59],"also":[61],"implement":[62],"in":[65],"tool":[67],"symProb,":[68],"illustrate":[70],"its":[71],"examples.":[74]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}