Ada
Programming Language
Aonix Adds VxWorks/Intel® Architecture Target Support to ObjectAda Product LineAonix delivers the leading highly reliable, real-time embedded virtual machine solution for running Java™ programs deployed today and has the largest number of certified Ada applications at the highest level of criticality. In this article: VxWorks, Aonix, Ada, Intel, Linux, Eclipse, Wind River, UNIX Systems, and Java |
-
Centre Daily Times | October 21, 2009
Safety-Critical Software Platform Combines DDC-I’s DO-178B RTOS with LDRA’s Analysis and Test Tools
...industries. DDC-I offers safety-critical real-time operating systems, compilers, integrated development environments and run-time systems for real-time Java, C, C++, Ada, Fortran and JOVIAL application development. For more information...
In this article: Customer base, C++, Fortran, Java, Critical Software, and FAA
-
Wikipedia | September 30, 2009
Bounds checking
...would have long been against the law. Mainstream languages that enforce run time checking include Ada , Visual Basic, Java , JavaScript, PHP, Python , Ruby , Haskell , Lisp , and C# . The D and OCaml languages have run time bounds...
In this article: Turing Award, Haskell, Visual Basic, Ruby, Python, PHP, Lisp, JavaScript, and Java
-
Telelogic Rhapsody
...design process, which includes both the systems and software engineering disciplines. Rhapsody compiles graphical models into software applications in the various languages used in the real-time embedded space, including C , C++, Ada and Java .
In this article: Rhapsody, Telelogic Rhapsody, C++, and Java
-
Self-hosting
...using bootstrapping . Programming languages which are commonly Self-hosted include Ada , BASIC, C , FASM, Forth , Haskell , Java , Lisp , Modula-2, OCaml, Oberon , Pascal , Python , Scala and Smalltalk . The first self-hosting...
In this article: Self-hosting, Lisp, Linux, Modula-2, Smalltalk, Self, Scala, Haskell, S-expression, and Python
-
Type system
...variables not values. Statically typed languages include Ada , AS3 , C , C++, C# , JADE , Java , Fortran, Haskell , ML , Pascal , Perl (with respect to distinguishing scalars, arrays, hashes and subroutines) and Scala . Static typing is a...
In this article: Java, Haskell, Visual Basic, Python, JavaScript, Scalar, C++, Scala, and ML
-
Clang
...only for C and C-like languages. It does not offer compiler front-ends for languages other than C, C++ and Objective C. For other languages, including Java , FORTRAN and Ada , LLVM remains dependent on GCC. Clang can be used or swapped out...
In this article: Clang, Apple, C++, FreeBSD, Objective-C, OpenGL, Performance measurement, DragonFly BSD, Fortran, and Java
-
KDevelop
...such as Qt , GTK+, and wxWidgets. KDevelop has a variety of supported languages , including C , C++, Perl, Python , PHP, Java , Fortran, Ruby , Ada , Pascal , SQL, and Bash scripting. Supported build systems include GNU...
In this article: Kdevelop, C++, Qt, Java, KDE, Fortran, Ruby, Python, Perl, and Pascal
-
TBNF
..."Translational BNF". BNF refers to Backus Normal Form which is a formal grammar notation used to define the syntax of computer languages, such as Algol, Ada, C++, COBOL, FORTRAN, Java, Perl, Python, and many others. TBNF goes beyond BNF and...
In this article: Cobol, C++, Fortran, Python, Perl, and Java
-
PIGUI
...into GUI and non-GUI objects is a good thing to do anyway) There are PIGUI packages for multiple programming languages, including C , C++, Smalltalk, Java , Ada , Tcl, and Python . Most (all?) new PIGUI packages will be developed in...
In this article: Pigui, C++, Microsoft Windows, Xview, HTML, Unix, Tcl, Smalltalk, and Python
Trends
Loading...
More on Ada
Description from Wikipedia:
Ada is a structured, statically typed, imperative, and object-oriented high-level computer programming language based on Pascal. It was originally designed by a team led by Jean Ichbiah of CII Honeywell Bull under contract to the United States Department of Defense during 1977–1983 to supersede the hundreds of programming languages then used by the US Department of Defense (DoD). Ada is strongly typed and compilers are validated for reliability in mission-critical applications, such as avionics software. Ada is an international standard; the current version (known as Ada 2005) is defined by joint ISO/ANSI standard (ISO-8652:1995), combined with major Amendment
ISO/IEC 8652:1995/Amd 1:2007.
Ada was named after Ada Lovelace (1815–1852), who is often credited as being the first computer programmer.
- Designed By:
- Jean Ichbiah, extended by S. Tucker Taft
- Influenced:
- C++, Eiffel, PL/SQL, VHDL
- Influenced By:
- ALGOL 68, Pascal, C++ (Ada 95), Smalltalk (Ada 95), Java (Ada 2005)
Explore everything named Ada...
