


Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. MapuSoft Ada-C/C++ changer, formerly known as "AdaMagic with C Intermediate", ĪLGOL 68, Pascal, Simula 67, C++ (Ada 95), Smalltalk (Ada 95), Modula-2 (Ada 95) Java (Ada 2005), Eiffel (Ada 2012)Ĭ++, Chapel, Drago, D, Eiffel, Griffin, Java, Nim, ParaSail, PL/SQL, PL/pgSQL, Python, Ruby, Seed7, SPARforte, Sparkel, SQL/PSM, VHDLĪda is a structured, statically typed, imperative, and object-oriented high-level programming language, extended from Pascal and other languages. Green Hills Software Optimising Ada 95 compiler,
