I am interested in how a higher-level (Java-like) language could be build from a stack-based (Forth-like) language. Can anyone recommend some literature, preferably a book?
In case it helps: The application is construction of a higher-level language from Bitcoin's Script.
The script language used by Bitcoin has no loops and is not Turing-complete. See https://en.bitcoin.it/wiki/Script
It's not possible to write an interpreter or compiler for a Turing-complete language in this language.