Expressing Structural Properties as Language Constructs
No abstract available.
DOI 10.1007/3-540-49099-x_17
Related papers
- An abstract interpretation framework for termination POPL 2012
- Verifying Parameterized Networks TOPLAS 1997
- Iteration Abstraction in Sather TOPLAS 1996
- Model-Checking Structured Context-Free Languages CAV 2021
- Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic VMCAI 2019
- Safe Fusion of Functional Expressions II: Further Improvements JFP 1994
- Using Dependent Types to Express Modular Structure POPL 1986
- A fixpoint calculus for local and global program flows POPL 2006