Micro Programming Language - A Portable Language for Micro Computers
...The result is a compiler written in a high level language (PASCAL) which compiles to under 16K (CP/M). The symbol table, language syntax, and bytecode are all optimized for size.
I will write a MPL Reference Manual in time. Contact myself if you want to help get that written.
MIDletPascal is specifically suited for development of J2ME midlets. It's compiler translates Pascal source code directly into Java microedition bytecode.