O'small definition language
A small, concise, formally defined object-oriented
language intended for teaching, by Andreas Hense .
O'small requires sml-yacc, sml-lex and sml-noshare. Binaries are provided for SPARC and it is probably portable to other Unix systems. There is also an interpreter in Miranda.
[Christoph Boeschen, "Christmas - An abstract machine for O'small". Master's thesis, Universit"at des Saarlandes, Fachbereich, 1993-06-14].