Modula-3 es un lenguaje de programación imperativo, estructurado y modular, concebido como el sucesor de Modula-2. Las principales características del lenguaje son su simplicidad y la seguridad, además de conservar la potencia de los lenguajes de programación de sistemas.