Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic

Documenti analoghi

• Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
  di: Li, Kwing Hei, et al.
  Pubblicazione: (2025)
• Tachis: Higher-Order Separation Logic with Credits for Expected Costs
  di: Haselwarter, Philipp G., et al.
  Pubblicazione: (2024)
• Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
  di: Aguirre, Alejandro, et al.
  Pubblicazione: (2024)
• Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
  di: Haselwarter, Philipp G., et al.
  Pubblicazione: (2026)
• Approximate Relational Reasoning for Higher-Order Probabilistic Programs
  di: Haselwarter, Philipp G., et al.
  Pubblicazione: (2024)