Mathematical Sciences Classification System
68Nxx - Software
- 
                            
                            68N01General
 - 
                            
                            68N15Programming languages
 - 
                            
                            68N17Logic programming
 - 
                            
                            68N18Functional programming and lambda calculus [See also 03B40]
 - 
                            68N19Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.)
 - 
                            
                            68N20Compilers and interpreters
 - 
                            68N25Operating systems
 - 
                            
                            68N30Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
 - 
                            68N99None of the above, but in this section