Поиск в словарях
Denotational semantics language
(DSL) The specification language used by the SIS compiler generator.