reflective, imperative, object-oriented, generic, structured
static system, non-structural typing, strong typing
Java, C, Pascal, Ada, Modula-2, ALGOL 68
s7i, sd7