A Coalgebraic Decision Procedure for NetKAT

被引：0
|
作者：
Foster, Nate [1 ]
Kozen, Dexter [1 ]
Milano, Matthew [1 ]
Silva, Alexandra [2 ]
Thompson, Laure [1 ]
机构：
[1] Cornell University, Ithaca,NY, United States
[2] Radboud University Nijmegen, Nijmegen, Netherlands
来源：
ACM SIGPLAN Notices | 2015年 / 50卷 / 01期
关键词：
D O I：
10.1145/2676726.2677011
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：343 / 355
相关论文
共 50 条
  • [1] A Coalgebraic Decision Procedure for NetKAT
    Foster, Nate
    Kozen, Dexter
    Milano, Matthew
    Silva, Alexandra
    Thompson, Laure
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 343 - 355
  • [2] Probabilistic NetKAT
    Foster, Nate
    Kozen, Dexter
    Mamouras, Konstantinos
    Reitblatt, Mark
    Silva, Alexandra
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), 2016, 9632 : 282 - 309
  • [3] Temporal NetKAT
    Beckett, Ryan
    Greenberg, Michael
    Walker, David
    ACM SIGPLAN NOTICES, 2016, 51 (06) : 386 - 401
  • [4] A Fast Compiler for NetKAT
    Smolka, Steffen
    Eliopoulos, Spiridon
    Foster, Nate
    Guha, Arjun
    PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), 2015, : 328 - 341
  • [5] Concurrent NetKAT with Ports
    Feng, Hui
    Bonsangue, Marcello M.
    39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 1722 - 1730
  • [6] A Fast Compiler for NetKAT
    Smolka, Steffen
    Eliopoulos, Spiridon
    Foster, Nate
    Guha, Arjun
    ACM SIGPLAN NOTICES, 2015, 50 (09) : 328 - 341
  • [7] NetKAT: Semantic Foundations for Networks
    Anderson, Carolyn Jane
    Foster, Nate
    Guha, Arjun
    Jeannin, Jean-Baptiste
    Kozen, Dexter
    Schlesinger, Cole
    Walker, David
    ACM SIGPLAN NOTICES, 2014, 49 (01) : 113 - 126
  • [8] Explaining safety failures in NetKAT
    Caltais, Georgiana
    Tunc, Hunkar Can
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 121
  • [9] PλωNK: Functional Probabilistic NetKAT
    Vandenbroucke, Alexander
    Schrijvers, Tom
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4
  • [10] KATch: A Fast Symbolic Verifier for NetKAT
    Moeller, Mark
    Jacobs, Jules
    Belanger, Olivier Savary
    Darais, David
    Schlesinger, Cole
    Smolka, Steffen
    Foster, Nate
    Silva, Alexandra
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (PLDI):
12345