68-XX |
|
|
Computer science {For papers containing software, source code, etc. in a specific mathematical area, see the classification number –04 in that area} |
|
68Nxx |
|
Theory of software |
|
|
68N01 |
General topics in the theory of software |
|
|
68N15 |
Theory of programming languages |
|
|
68N17 |
Logic programming |
|
|
68N18 |
Functional programming and lambda calculus [See also 03B40] |
|
|
68N19 |
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) |
|
|
68N20 |
Theory of compilers and interpreters |
|
|
68N25 |
Theory of operating systems |
|
|
68N30 |
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) |
|
|
68N99 |
None of the above, but in this section |