出典:Wikipedia
出典:『Wikipedia』 (2008/07/07 12:02 UTC 版)
AdaMagic[1] is a retargetable Ada 95 compiler technology available from SofCheck. AdaMagic includes an ACATS[2]-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 machines. Existing variants of the AdaMagic front end include one that generates Java byte codes[3] (called AppletMagic[4]), 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.