Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs

Documenti analoghi

• Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
  di: Li, Kwing Hei, et al.
  Pubblicazione: (2025)
• Approximate Relational Reasoning for Higher-Order Probabilistic Programs
  di: Haselwarter, Philipp G., et al.
  Pubblicazione: (2024)
• Tachis: Higher-Order Separation Logic with Credits for Expected Costs
  di: Haselwarter, Philipp G., 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)
• Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
  di: Li, Kwing Hei, et al.
  Pubblicazione: (2025)