FORTRAN error detection through static analysis.
Irving K. WendelRichard L. KleirPublished in: ACM SIGSOFT Softw. Eng. Notes (1977)
Keyphrases
- static analysis
- error detection
- error correction
- dynamic analysis
- error recovery
- source code
- error correcting
- data cleansing
- symbolic execution
- java card
- fault tolerance
- fault isolation
- test generation
- malicious code
- test suite
- abstract interpretation
- error control
- regular expressions
- open source
- relational databases
- metadata