AdaMagic

AdaMagic

AdaMagic [http://www.adaic.org/compilers/comp-tool.html] is a retargetable Ada 95 compiler technology available from SofCheck. AdaMagic includes an ACATS [http://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 machines. Existing variants of the AdaMagic front end include one that generates Java byte codes [http://www.robert-tolksdorf.de/vmlanguages.html] (called AppletMagic [http://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.

See also

*Ada programming language
*intermediate representation
*Java byte code

External links

* [http://www.sofcheck.com SofCheck website]
* [http://www.adaic.org/compilers/index.html Ada Information Clearinghouse (AdaIC) page on Ada compilers and conformance]
* [http://www.adaic.org/compilers/cpl/report95.html Ada 95 Certified Processors List (scan for AdaMagic)]
* [http://www.is-research.de/info/vmlanguages/ Programming Languages for the Java Virtual Machine]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Ада (язык программирования) — У этого термина существуют и другие значения, см. Ада. Ада Семантика: мультипарадигменный: конкурентное, обобщённое, императивное, объектно ориентированное, распределённое программирование Тип исполнения: компилируемый Появился в: 1980 …   Википедия

  • Ada — У этого термина существуют и другие значения, см. Ада. Ада Семантика: мультипарадигменный: конкурентное, обобщённое, императивное, объектно ориентированное, распределённое, программирование Тип исполнения: компилируемый Появился в …   Википедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”