A Fortran 77 interpreter for mutation analysis
No abstract available.
DOI 10.1145/29650.29669
Related papers
- Reverse Interpretation + Mutation Analysis = Automatic Retargeting PLDI 1997
- Techniques for the Translation of MATLAB Programs into Fortran 90 TOPLAS 1999
- Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations GPCE 2025
- The DaCapo benchmarks: java benchmarking development and analysis OOPSLA 2006
- Constructive real interpretation of numerical programs PLDI 1987
- Verifying Fortran Programs with CIVL TACAS 2022
- The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages PLDI 1990
- A semantics for procedure local heaps and its abstractions POPL 2005