Search and Browse the MSC 2000

68-XX Computer science {For papers involving machine computations and programs in a specific mathematical area, see Section -04 in that area} → ZMATH

68Nxx Software → ZMATH

68N01 General → ZMATH

68N15 Programming languages → ZMATH

68N17 Logic programming → ZMATH

68N18 Functional programming and lambda calculus [See also 03B40] → ZMATH

68N19 Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) → ZMATH

68N20 Compilers and interpreters → ZMATH

68N25 Operating systems → ZMATH

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) → ZMATH

68N99 None of the above, but in this section → ZMATH