Project Page
Index
Table of Contents
LogrelCC.prelude
LogrelCC.program_logic.language
LogrelCC.program_logic.weakestpre
Derived rules
LogrelCC.program_logic.lifting
LogrelCC.program_logic.adequacy
LogrelCC.program_logic.CC_ectx_language
LogrelCC.program_logic.CC_ectx_lifting
LogrelCC.program_logic.CC_ectxi_language
LogrelCC.program_logic.cl_weakestpre
Derived rules
LogrelCC.lang_base
LogrelCC.types
LogrelCC.lang
LogrelCC.rules_unary
LogrelCC.cl_rules
LogrelCC.typing
LogrelCC.logrel_unary
LogrelCC.fundamental_unary
LogrelCC.soundness_unary
LogrelCC.rules_binary
LogrelCC.logrel_binary
LogrelCC.fundamental_binary
LogrelCC.context_refinement
LogrelCC.soundness_binary
LogrelCC.cooperative.program_logic.coop_language
LogrelCC.cooperative.program_logic.coop_ectx_language
LogrelCC.cooperative.program_logic.coop_ectxi_language
LogrelCC.cooperative.cooplang.lang
LogrelCC.cooperative.cooplang.rules_binary
LogrelCC.cooperative.cooplang.typing
LogrelCC.F_mu_ref_cc.lang
LogrelCC.F_mu_ref_cc.rules_unary
LogrelCC.F_mu_ref_cc.cl_rules
LogrelCC.F_mu_ref_cc.queue
LogrelCC.F_mu_ref_cc.typing
LogrelCC.coop_logrel.logrel
LogrelCC.coop_logrel.light_weight_threads
LogrelCC.coop_logrel.translation
LogrelCC.coop_logrel.compilation
LogrelCC.coop_logrel.logical_correctness
LogrelCC.coop_logrel.correctness
LogrelCC.examples.stack
LogrelCC.examples.cl_example
LogrelCC.examples.list_rev
LogrelCC.examples.refinement.lock
LogrelCC.examples.refinement.counter
LogrelCC.examples.refinement.stack.CG_stack
LogrelCC.examples.refinement.stack.FG_stack
LogrelCC.examples.refinement.stack.stack_rules
LogrelCC.examples.refinement.stack.refinement
LogrelCC.examples.refinement.oneshotCC.oneshotCC_progs
LogrelCC.examples.refinement.oneshotCC.oneshotCC_LR1
LogrelCC.examples.refinement.oneshotCC.oneshotCC_rules
LogrelCC.examples.refinement.oneshotCC.oneshotCC_LR2_helper
LogrelCC.examples.refinement.oneshotCC.oneshotCC_LR2
LogrelCC.examples.refinement.lock_unary_spec
LogrelCC.examples.refinement.list_basics
LogrelCC.examples.refinement.list_assoc
LogrelCC.examples.refinement.list_assoc_binary_spec
LogrelCC.examples.refinement.server.server_nat
LogrelCC.examples.refinement.server.server_cont
LogrelCC.examples.refinement.server.refinement_1
LogrelCC.examples.refinement.server.refinement_2