:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Randone, Francesca, Doz, Romina, Tribastone, Mirco, Bortolussi, Luca
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2601.15167
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

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

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

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

Symbolic Quantitative Information Flow for Probabilistic Programs
von: Schröer, Philipp, et al.
Veröffentlicht: (2024)

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

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

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

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)

Reactive Programming without Functions
von: Oeyen, Bjarno, et al.
Veröffentlicht: (2024)

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

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

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

Guided Sketch-Based Program Induction by Search Gradients
von: Amin, Ahmad Ayaz
Veröffentlicht: (2024)

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

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
von: Boreale, Michele, 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)

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

SSA without Dominance for Higher-Order Programs
von: Leißa, Roland, et al.
Veröffentlicht: (2026)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
von: Silva, André, et al.
Veröffentlicht: (2025)

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

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
von: Luo, Junjie, et al.
Veröffentlicht: (2024)

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

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

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
von: Kanda, Madhav, et al.
Veröffentlicht: (2025)

Probabilistic Programming with Programmable Variational Inference
von: Becker, McCoy R., et al.
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)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
von: Eriksson, Oscar, et al.
Veröffentlicht: (2025)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
von: Huot, Mathieu, et al.
Veröffentlicht: (2024)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
von: Schröer, Philipp, et al.
Veröffentlicht: (2025)

Data Petri Nets meet Probabilistic Programming (Extended version)
von: Kuhn, Martin, et al.
Veröffentlicht: (2024)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2024)

Certified Inductive Synthesis for Online Mixed-Integer Optimization
von: Zamponi, Marco, et al.
Veröffentlicht: (2025)

Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
von: Reichelt, Tim, et al.
Veröffentlicht: (2023)

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)