AdaMagic
Encyclopedia
AdaMagichttp://www.adaic.org/compilers/comp-tool.html is a retargetable Ada 95 compiler technology available from SofCheck
. AdaMagic includes an ACATShttp://www.adaic.org/compilers/testing.html-conformant Ada 95 front end that can generate various intermediate representations, and an ACATS-conformant Ada 95 run-time system that can be hosted on Unix-like operating systems, real-time executives, or bare machine
s. Existing variants of the AdaMagic front end include one that generates Java byte codeshttp://www.robert-tolksdorf.de/vmlanguages.html (called AppletMagichttp://www.appletmagic.com), one that generates ISO/ANSI C source code, and one that generates a tree-structured intermediate representation. The AdaMagic run-time has been rehosted onto several Unix kernels, Windows, Linux, Mac OS X, VxWorks, Integrity, and bare machines.
Rehosting the C-generating version of AdaMagic to a new machine requires a version of the GCC
C compiler or other ISO/ANSI C compiler and a corresponding standard C run-time library.
SofCheck Inspector
The SofCheck Inspector is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of Java methods or Ada subprograms, and uses that information to identify logic flaws , race conditions, and redundant code in an individual Java class or Ada...
. AdaMagic includes an ACATShttp://www.adaic.org/compilers/testing.html-conformant Ada 95 front end that can generate various intermediate representations, and an ACATS-conformant Ada 95 run-time system that can be hosted on Unix-like operating systems, real-time executives, or bare machine
Bare machine
Bare Machine, in computer parlance, means a computer without its operating system. Modern operating systems evolved through various stages, from elementary to the present day complex, highly sensitive real-time systems. In the very first stage of computing there was nothing like an Operating System...
s. Existing variants of the AdaMagic front end include one that generates Java byte codeshttp://www.robert-tolksdorf.de/vmlanguages.html (called AppletMagichttp://www.appletmagic.com), one that generates ISO/ANSI C source code, and one that generates a tree-structured intermediate representation. The AdaMagic run-time has been rehosted onto several Unix kernels, Windows, Linux, Mac OS X, VxWorks, Integrity, and bare machines.
Rehosting the C-generating version of AdaMagic to a new machine requires a version of the GCC
GNU Compiler Collection
The GNU Compiler Collection is a compiler system produced by the GNU Project supporting various programming languages. GCC is a key component of the GNU toolchain...
C compiler or other ISO/ANSI C compiler and a corresponding standard C run-time library.