:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kozen, Dexter, Silva, Alexandra, Voogd, Erik
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2309.06913
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Multisets and Distributions
von: Kozen, Dexter, et al.
Veröffentlicht: (2023)

A Demonic Outcome Logic for Randomized Nondeterminism
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

Probability and Angelic Nondeterminism with Multiset Semantics
von: Ong, Shawn, et al.
Veröffentlicht: (2024)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
von: Ong, Shawn, et al.
Veröffentlicht: (2025)

StacKAT: Infinite State Network Verification
von: Jacobs, Jules, et al.
Veröffentlicht: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

A Distribution Semantics for Probabilistic Term Rewriting
von: Vidal, Germán
Veröffentlicht: (2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

Probabilistic Programs of Thought
von: Garg, Poorva, et al.
Veröffentlicht: (2026)

Real-Time Probabilistic Programming
von: Hummelgren, Lars, et al.
Veröffentlicht: (2023)

Multi-Language Probabilistic Programming
von: Stites, Sam, et al.
Veröffentlicht: (2025)

Kleene Algebra
von: Kappé, Tobias, et al.
Veröffentlicht: (2025)

Newtonian Program Analysis of Probabilistic Programs
von: Wang, Di, et al.
Veröffentlicht: (2023)

Probabilistic Inference for Datalog with Correlated Inputs
von: Wang, Jingbo, et al.
Veröffentlicht: (2025)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
von: Moosbrugger, Marcel, et al.
Veröffentlicht: (2026)

A Gradual Probabilistic Lambda Calculus
von: Ye, Wenjia, et al.
Veröffentlicht: (2026)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Caesar: A Deductive Verifier for Probabilistic Programs
von: Schröer, Philipp, et al.
Veröffentlicht: (2026)

Modular Probabilistic Models via Algebraic Effects
von: Nguyen, Minh, et al.
Veröffentlicht: (2022)

Sound Interval-Based Synthesis for Probabilistic Programs
von: Espada, Guilherme, et al.
Veröffentlicht: (2025)

Data-Driven Invariant Learning for Probabilistic Programs
von: Bao, Jialu, et al.
Veröffentlicht: (2021)

Probabilistic energy profiler for statically typed JVM-based programming languages
von: Nyholm, Joel, et al.
Veröffentlicht: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
von: Boreale, Michele, et al.
Veröffentlicht: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
von: Boreale, Michele, et al.
Veröffentlicht: (2026)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
von: Kumar, Ashish, et al.
Veröffentlicht: (2024)

Bit Blasting Probabilistic Programs
von: Garg, Poorva, et al.
Veröffentlicht: (2023)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Active Learning of Symbolic NetKAT Automata
von: Moeller, Mark, et al.
Veröffentlicht: (2025)

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
von: Wong, Lionel, et al.
Veröffentlicht: (2025)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
von: Wang, Peixin, et al.
Veröffentlicht: (2023)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
von: Randone, Francesca, et al.
Veröffentlicht: (2026)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
von: Lim, Sangho, et al.
Veröffentlicht: (2025)

Probabilistic Interval Analysis of Unreliable Programs
von: Das, Dibyendu, et al.
Veröffentlicht: (2024)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
von: Lundén, Daniel, et al.
Veröffentlicht: (2023)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
von: Amtoft, Torben, et al.
Veröffentlicht: (2024)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
von: Böck, Markus, et al.
Veröffentlicht: (2025)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
von: Zilberstein, Noam, et al.
Veröffentlicht: (2023)