Oberon−2 is a general−purpose programming language in the tradition of Pascal and Modula−2. Its most important features are block structure, modularity, separate compilation, static typing with strong type checking (also across module boundaries), and type extension with type−bound procedures.