Generic Validation of Structural Content with Parametric Modules
No abstract available.
Related papers
- Generic Validation of Structural Content with Parametric Modules ICFP 2001
- A parametric segmentation functor for fully automatic and scalable array content analysis POPL 2011
- Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic TACAS 2004
- On the Type Structure of Standard ML TOPLAS 1993
- Modules, abstraction, and parametric polymorphism POPL 2017
- Extending Record Typing to Type Parametric Modules with Sharing POPL 1993
- A Model Parametric Real-Time Logic TOPLAS 1992
- On the modularity of feature interactions GPCE 2008