Program Development Using Abstract Interpretation (And The Ciao System Preprocessor)
No abstract available.
Related papers
- Abstract Interpretation with Specialized Definitions SAS 2006
- The Love/Hate Relationship with the C Preprocessor: An Interview Study ECOOP 2015
- How preprocessor annotations (do not) affect maintainability: a case study on change-proneness GPCE 2017
- Investigating preprocessor-based syntax errors GPCE 2013
- On the impact of feature dependencies when maintaining preprocessor-based software product lines GPCE 2011
- Does the discipline of preprocessor annotations matter?: a controlled experiment GPCE 2013
- HQSpre - An Effective Preprocessor for QBF and DQBF TACAS 2017
- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution) TACAS 2021