Standard Meta Language/New Jersey. Auch SML/NJ, eine MetaProgrammiersprache. Auch Objektsprache. Eine Sprache zum Beschreiben von Programmiersprachen; insbesondere auch zur Formulierung der Syntax von Programmiersprachen.