This article is cited in 6 papers

SOOL: an object-oriented stacked-based language for specification and implementation of program specialization techniques

Yu. A. Klimov


Abstract: The paper presents SOOL, an object-oriented stack-based language, which is similar to the internal languages of the platforms Java and Microsoft .NET. The language is meant for specification and implementation of program specialization techniques. In particular, SOOL has been used as the internal language of the program specializer CILPE. A formal description of the syntax, semantics and typing system of the language is given.