Typed Norms
No abstract available.
Related papers
- Termination analysis of logic programs through combination of type-based norms TOPLAS 2007
- eFLINT: a domain-specific language for executable norm specifications GPCE 2020
- Normed Simulations CAV 1998
- Combining Norms to Prove Termination VMCAI 2002
- Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable APLAS 2009
- Intersection type calculi of bounded dimension POPL 2017
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE 2025
- Fast and precise certification of transformers PLDI 2021