Ada
High-integrity language for safety-critical systems
Typing: static Created: 1980
Paradigms
proceduralobject-oriented
Pros and Cons
Ventajas
- + Maximum type safety
- + Standard in aviation and defense
- + SPARK subset for formal verification
- + Built-in concurrency (tasks)
Desventajas
- - Very verbose syntax
- - Very small community
- - Fewer learning resources
- - Slower development
Casos de Uso
- Aviation systems
- Military and defense software
- Railway systems
- Space missions