A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs

被引：0
|
作者：
Rajani, Vineet [1 ]
Barthe, Gilles [2 ,3 ]
Garg, Deepak [4 ]
机构：
[1] University of Kent, Canterbury, United Kingdom
[2] MPI-SP, Bochum, Germany
[3] IMDEA Software Institute, Madrid, Spain
[4] Max Planck Institute for Software Systems, Saarland Informatics Campus, Saarbrücken, Germany
来源：
Proceedings of the ACM on Programming Languages | 2024年 / 8卷 / OOPSLA2期
关键词：
D O I：
10.1145/3689725
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Semantics of Higher-Order Probabilistic Programs with Conditioning
    Dahlqvist, Fredrik
    Kozen, Dexter
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (04):
  • [2] Formal Verification of Higher-Order Probabilistic Programs
    Sato, Tetsuya
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Hsu, Justin
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [3] λPSI: Exact Inference for Higher-Order Probabilistic Programs
    Gehr, Timon
    Steffen, Samuel
    Vechev, Martin
    [J]. PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 883 - 897
  • [4] On the Termination Problem for Probabilistic Higher-Order Recursive Programs
    Kobayashi, Naoki
    Dal Lago, Ugo
    Grellois, Charles
    [J]. 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
  • [5] ON THE TERMINATION PROBLEM FOR PROBABILISTIC HIGHER-ORDER RECURSIVE PROGRAMS
    Kobayashi, Naoki
    Dal Lago, Ugo
    Grellois, Charles
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (04) : 1 - 57
  • [6] On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs
    Dal Lago, Ugo
    Sangiorgi, Davide
    Alberti, Michele
    [J]. ACM SIGPLAN NOTICES, 2014, 49 (01) : 297 - 308
  • [7] Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
    Kura, Satoshi
    Unno, Hiroshi
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
  • [8] A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis
    Rajani, Vineet
    Gaboardi, Marco
    Garg, Deepak
    Hoffmann, Jan
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (POPL):
  • [9] Program logic for higher-order probabilistic programs in Isabelle/HOL
    Hirata, Michikazu
    Minamide, Yasuhiko
    Sato, Tetsuya
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 230
  • [10] On Higher-Order Probabilistic Subrecursion
    Breuvart, Flavien
    Dal Lago, Ugo
    Herrou, Agathe
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 370 - 386
12345