The ACM Computing Classification System (1991)
G.4 MATHEMATICAL SOFTWARE
Algorithm analysis
Certification and testing
Efficiency
Portability
Reliability and robustness
Verification
Return to:
G. Mathematics of Computing
The ACM Computing Classification System (1991)
Overview of 1991 ACM Classification System