On the public citation graph

Local Reasoning about Probabilistic Programs with Unbounded Loops

https://doi.org/10.2139/ssrn.7519211

0 signed · 27 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-45804-2openalex-snapshot

Interactive Markov Chains

inferredcites →https://doi.org/10.1007/978-3-031-50521-8_8openalex-snapshot

Local Reasoning About Probabilistic Behaviour for Classical–Quantum Programs

inferredcites →https://doi.org/10.1007/978-3-319-43425-4_14openalex-snapshot

Inferring Covariances for Probabilistic Programs

inferredcites →https://doi.org/10.1016/j.peva.2013.11.004openalex-snapshot

Operational versus weakest pre-expectation semantics for the probabilistic guarded command language

inferredcites →https://doi.org/10.1016/j.tcs.2007.02.040openalex-snapshot

Reasoning about probabilistic sequential programs

inferredcites →https://doi.org/10.1016/s0304-3975(97)00056-xopenalex-snapshot

Composition and behaviors of probabilistic I/O automata

inferredcites →https://doi.org/10.1017/s0960129505004858openalex-snapshot

The semantics of BI and resource tableaux

inferredcites →https://doi.org/10.1038/nature14541openalex-snapshot

Probabilistic machine learning and artificial intelligence

inferredcites →https://doi.org/10.1142/s012905410200114xopenalex-snapshot

VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC

inferredcites →https://doi.org/10.1145/1480881.1480894openalex-snapshot

Formal certification of code-based cryptographic proofs

inferredcites →https://doi.org/10.1145/2103656.2103670openalex-snapshot

Probabilistic relational reasoning for differential privacy

inferredcites →https://doi.org/10.1145/229542.229547openalex-snapshot

Probabilistic predicate transformers

inferredcites →https://doi.org/10.1145/3093333.3009896openalex-snapshot

Coupling proofs are probabilistic product programs

inferredcites →https://doi.org/10.1145/3208102openalex-snapshot

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms

inferredcites →https://doi.org/10.1145/3296979.3192394openalex-snapshot

Bounded expectations: resource analysis for probabilistic programs

inferredcites →https://doi.org/10.1145/3296979.3192400openalex-snapshot

Bayonet: probabilistic inference for networks

inferredcites →https://doi.org/10.1145/3314221.3314639openalex-snapshot

Scalable verification of probabilistic networks

inferredcites →https://doi.org/10.1145/3371123openalex-snapshot

A probabilistic separation logic

inferredcites →https://doi.org/10.1145/3586045openalex-snapshot

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning

inferredcites →https://doi.org/10.1145/3591226openalex-snapshot

Lilac: A Modal Separation Logic for Conditional Probability

inferredcites →https://doi.org/10.1145/3649821openalex-snapshot

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects

inferredcites →https://doi.org/10.1145/3704855openalex-snapshot

A Demonic Outcome Logic for Randomized Nondeterminism

inferredcites →https://doi.org/10.1145/3704894openalex-snapshot

Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning

inferredcites →https://doi.org/10.1145/3743131openalex-snapshot

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects

inferredcites →https://doi.org/10.1145/3776651openalex-snapshot

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants

inferredcites →https://doi.org/10.1145/3776696openalex-snapshot

Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming

inferredcites →https://doi.org/10.7551/mitpress/3054.001.0001openalex-snapshot

The Formal Semantics of Programming Languages

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.