The ACM Computing Classification System (1991) G.4 MATHEMATICAL SOFTWARE Algorithm analysis Certification and testing Efficiency Portability Reliability and robustness Verification
