:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Peixin, Yang, Tengshun, Fu, Hongfei, Li, Guanyan, Ong, C. -H. Luke
Format:	Preprint
Publié:	2023
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2307.13160
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Piecewise Analysis of Probabilistic Programs via $k$-Induction
par: Yang, Tengshun, et autres
Publié: (2024)

Structural Abstraction and Refinement for Probabilistic Programs
par: Li, Guanyan, et autres
Publié: (2025)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
par: Wang, Peixin, et autres
Publié: (2025)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
par: Zaiser, Fabian, et autres
Publié: (2024)

Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
par: Reichelt, Tim, et autres
Publié: (2023)

Polynomial Invariant Generation for Floating-Point Programs
par: Cai, Xuran, et autres
Publié: (2025)

Equational Bit-Vector Solving via Strong Gröbner Bases
par: Song, Jiaxin, et autres
Publié: (2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
par: Klinkenberg, Lutz, et autres
Publié: (2023)

Probabilistic Programming with Programmable Variational Inference
par: Becker, McCoy R., et autres
Publié: (2024)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
par: Tao, Yichen, et autres
Publié: (2026)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
par: Böck, Markus, et autres
Publié: (2025)

Contextual MetaML: Syntax and Full Abstraction
par: Yin, Haoxuan, et autres
Publié: (2026)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
par: Geißler, Dominik, et autres
Publié: (2025)

Newtonian Program Analysis of Probabilistic Programs
par: Wang, Di, et autres
Publié: (2023)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
par: Eriksson, Oscar, et autres
Publié: (2025)

Static Analysis Under Non-Deterministic Program Assumptions
par: Rasheed, Abdullah H.
Publié: (2026)

Probabilistic Inference for Datalog with Correlated Inputs
par: Wang, Jingbo, et autres
Publié: (2025)

Multi-Language Probabilistic Programming
par: Stites, Sam, et autres
Publié: (2025)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
par: Geißler, Dominik, et autres
Publié: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
par: Lim, Sangho, et autres
Publié: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
par: Solanki, Rajendra Kumar
Publié: (2024)

Probabilistic Programs of Thought
par: Garg, Poorva, et autres
Publié: (2026)

Real-Time Probabilistic Programming
par: Hummelgren, Lars, et autres
Publié: (2023)

A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
par: Xu, Qiyuan, et autres
Publié: (2025)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
par: Wu, Hao, et autres
Publié: (2023)

Refuting Equivalence in Probabilistic Programs with Conditioning
par: Chatterjee, Krishnendu, et autres
Publié: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
par: Wang, Chengpeng, et autres
Publié: (2024)

Caesar: A Deductive Verifier for Probabilistic Programs
par: Schröer, Philipp, et autres
Publié: (2026)

Sound Interval-Based Synthesis for Probabilistic Programs
par: Espada, Guilherme, et autres
Publié: (2025)

Data-Driven Invariant Learning for Probabilistic Programs
par: Bao, Jialu, et autres
Publié: (2021)

Bit Blasting Probabilistic Programs
par: Garg, Poorva, et autres
Publié: (2023)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
par: Schröer, Philipp, et autres
Publié: (2025)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
par: Kudasov, Nikolai, et autres
Publié: (2024)

Can Language Models Solve Olympiad Programming?
par: Shi, Quan, et autres
Publié: (2024)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
par: Boreale, Michele, et autres
Publié: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
par: Boreale, Michele, et autres
Publié: (2026)

Static Deadlock Detection for Rust Programs
par: Zhang, Yu, et autres
Publié: (2024)

Probabilistic Interval Analysis of Unreliable Programs
par: Das, Dibyendu, et autres
Publié: (2024)

Explaining Explanations in Probabilistic Logic Programming
par: Vidal, Germán
Publié: (2024)