<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10128255> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/title> "Generating Functions for Probabilistic Programs"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/ontology/bibo/abstract> "This paper investigates the usage of generating functions (GFs) encoding measures over the program variables for reasoning about discrete probabilistic programs. To that end, we define a denotational GF-transformer semantics for probabilistic while-programs, and show that it instantiates Kozen’s seminal distribution transformer semantics. We then study the effective usage of GFs for program analysis. We show that finitely expressible GFs enable checking super-invariants by means of computer algebra tools, and that they can be used to determine termination probabilities. The paper concludes by characterizing a class of—possibly infinite-state—programs whose semantics is a rational GF encoding a discrete phase-type distribution."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/date> "2021-02-13" .
<https://discovery.ucl.ac.uk/id/document/1317505> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/ontology/bibo/volume> "12561" .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://xmlns.com/foaf/0.1/name> "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-16113349> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:16113349> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://purl.org/ontology/bibo/issn> "16113349" .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-9428ad9c219b9b854fea57335b854845> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10128255#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10128255#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-9428ad9c219b9b854fea57335b854845> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-b9eb71be95d7982157d2567f9ce01d4a> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10128255#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10128255#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-b9eb71be95d7982157d2567f9ce01d4a> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-f6c8275d9b1bed089f71431ae5f0c222> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10128255#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10128255#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-f6c8275d9b1bed089f71431ae5f0c222> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-fca72d8ccd6629afd72942dace2ae5c2> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10128255#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10128255#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <https://discovery.ucl.ac.uk/id/person/ext-fca72d8ccd6629afd72942dace2ae5c2> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-6303250efddf78abbc5fcf244b00b444> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10128255#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10128255#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_5> <https://discovery.ucl.ac.uk/id/person/ext-6303250efddf78abbc5fcf244b00b444> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-a79fc4663f08ce15ba8246b2eca40f73> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10128255#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10128255#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_6> <https://discovery.ucl.ac.uk/id/person/ext-a79fc4663f08ce15ba8246b2eca40f73> .
<https://discovery.ucl.ac.uk/id/person/ext-9428ad9c219b9b854fea57335b854845> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-9428ad9c219b9b854fea57335b854845> <http://xmlns.com/foaf/0.1/givenName> "L"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-9428ad9c219b9b854fea57335b854845> <http://xmlns.com/foaf/0.1/familyName> "Klinkenberg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-9428ad9c219b9b854fea57335b854845> <http://xmlns.com/foaf/0.1/name> "L Klinkenberg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a79fc4663f08ce15ba8246b2eca40f73> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-a79fc4663f08ce15ba8246b2eca40f73> <http://xmlns.com/foaf/0.1/givenName> "T"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a79fc4663f08ce15ba8246b2eca40f73> <http://xmlns.com/foaf/0.1/familyName> "Winkler"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-a79fc4663f08ce15ba8246b2eca40f73> <http://xmlns.com/foaf/0.1/name> "T Winkler"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6303250efddf78abbc5fcf244b00b444> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-6303250efddf78abbc5fcf244b00b444> <http://xmlns.com/foaf/0.1/givenName> "J"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6303250efddf78abbc5fcf244b00b444> <http://xmlns.com/foaf/0.1/familyName> "Moerman"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-6303250efddf78abbc5fcf244b00b444> <http://xmlns.com/foaf/0.1/name> "J Moerman"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-b9eb71be95d7982157d2567f9ce01d4a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-b9eb71be95d7982157d2567f9ce01d4a> <http://xmlns.com/foaf/0.1/givenName> "K"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-b9eb71be95d7982157d2567f9ce01d4a> <http://xmlns.com/foaf/0.1/familyName> "Batz"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-b9eb71be95d7982157d2567f9ce01d4a> <http://xmlns.com/foaf/0.1/name> "K Batz"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f6c8275d9b1bed089f71431ae5f0c222> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-f6c8275d9b1bed089f71431ae5f0c222> <http://xmlns.com/foaf/0.1/givenName> "BL"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f6c8275d9b1bed089f71431ae5f0c222> <http://xmlns.com/foaf/0.1/familyName> "Kaminski"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f6c8275d9b1bed089f71431ae5f0c222> <http://xmlns.com/foaf/0.1/name> "BL Kaminski"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-fca72d8ccd6629afd72942dace2ae5c2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-fca72d8ccd6629afd72942dace2ae5c2> <http://xmlns.com/foaf/0.1/givenName> "JP"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-fca72d8ccd6629afd72942dace2ae5c2> <http://xmlns.com/foaf/0.1/familyName> "Katoen"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-fca72d8ccd6629afd72942dace2ae5c2> <http://xmlns.com/foaf/0.1/name> "JP Katoen"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-3e4f131025a6d5d0d77a7f2b2898a723> .
<https://discovery.ucl.ac.uk/id/event/ext-3e4f131025a6d5d0d77a7f2b2898a723> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> .
<https://discovery.ucl.ac.uk/id/event/ext-3e4f131025a6d5d0d77a7f2b2898a723> <http://purl.org/dc/terms/title> "International Symposium on Logic-Based Program Synthesis and Transformation"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317505> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1317505> <http://www.w3.org/2000/01/rdf-schema#label> "Generating Functions for Probabilistic Programs (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://eprints.org/ontology/hasAccepted> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317505> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10128255/1/2007.06327v1.pdf> .
<https://discovery.ucl.ac.uk/id/document/1317505> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10128255/1/2007.06327v1.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10128255/1/2007.06327v1.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "2007.06327v1.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1317506> .
<https://discovery.ucl.ac.uk/id/document/1317506> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1317506> <http://www.w3.org/2000/01/rdf-schema#label> "Generating Functions for Probabilistic Programs (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1317506> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317506> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317506> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317506> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10128255/2/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1317506> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10128255/2/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10128255/2/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1317507> .
<https://discovery.ucl.ac.uk/id/document/1317507> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1317507> <http://www.w3.org/2000/01/rdf-schema#label> "Generating Functions for Probabilistic Programs (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1317507> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317507> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317507> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317507> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10128255/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1317507> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10128255/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10128255/3/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1317508> .
<https://discovery.ucl.ac.uk/id/document/1317508> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1317508> <http://www.w3.org/2000/01/rdf-schema#label> "Generating Functions for Probabilistic Programs (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1317508> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317508> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317508> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317508> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10128255/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1317508> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10128255/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10128255/4/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1317509> .
<https://discovery.ucl.ac.uk/id/document/1317509> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1317509> <http://www.w3.org/2000/01/rdf-schema#label> "Generating Functions for Probabilistic Programs (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1317509> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317509> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317509> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317509> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10128255/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1317509> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10128255/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10128255/5/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1317510> .
<https://discovery.ucl.ac.uk/id/document/1317510> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1317510> <http://www.w3.org/2000/01/rdf-schema#label> "Generating Functions for Probabilistic Programs (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1317510> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317510> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317510> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1317505> .
<https://discovery.ucl.ac.uk/id/document/1317510> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10128255/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1317510> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10128255/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10128255/6/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10128255> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10128255/> .
<https://discovery.ucl.ac.uk/id/eprint/10128255/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10128255 \n\nGenerating Functions for Probabilistic Programs\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10128255/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10128255/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10128255> .