SOOL: объектно-ориентированный стековый язык для формального описания и реализации методов специализации программ

В работе представлен модельный язык SOOL, который близок к внутренним языкам платформ Java и Microsoft .NET. Формально описаны его синтаксис, семантика и типизация. Язык SOOL разрабатывался для формального описания и реализации методов специализации для объектно-ориентированных языков. Он используется как внутренний язык специализатора CILPE.