Guarded* Kleene* algebra* with* tests* verification* of uninterpreted* programs* in nearly* linear* time*
OK
Steffen SmolkaNate FosterJustin HsuTobias KappĂ©Dexter KozenAlexandra Silva 0001Guarded Kleene algebra with tests - verification of uninterpreted programs in nearly linear time.Proc. ACM Program. Lang.4POPL61:1-61:282020Journal Articlesjournals/pacmpl/SmolkaFHKKS2010.1145/3371129https://doi.org/10.1145/3371129https://dblp.org/rec/journals/pacmpl/SmolkaFHKKS20
URL#192543
Alexandra Silva 0001Guarded Kleene Algebra with Tests - Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk).MFCS2:1-2:12019Conference and Workshop Papersconf/mfcs/Silva1910.4230/LIPICS.MFCS.2019.2https://doi.org/10.4230/LIPIcs.MFCS.2019.2https://dblp.org/rec/conf/mfcs/Silva19
URL#766365
Steffen SmolkaNate FosterJustin HsuTobias KappĂ©Dexter KozenAlexandra Silva 0001Guarded Kleene Algebra with Tests - Verification of Uninterpreted Programs in Nearly Linear Time.CoRRabs/1907.059202019Informal Publicationsjournals/corr/abs-1907-05920http://arxiv.org/abs/1907.05920https://dblp.org/rec/journals/corr/abs-1907-05920
URL#845939