[pjmlp]

A few alternatives possible to buy today:

Oberon for ARM Cortex-M4, Cortex-M3 Microcontrollers and Xilinx FPGA Systems

http://www.astrobe.com/default.htm

Pascal and Basic for lots of micro and pico-processors

http://www.mikroe.com/compilers/

Ada,

http://www.ghs.com/products/ada_optimizing_compilers.html

http://www.ptc.com/developer-tools/apexada

http://www.adacore.com/

Java for MCUs

http://www.microej.com/stmicroelectronics/