Interpretatori programmēšanas valodu konstrukcijām

Abstract

Semantikas uzdošana mācību programmēšanas valodām ir vienkārša. Savukārt reālām programmēšanas valodām skaidri semantikas vai pat semantikas uzdošanas principu izklāsti nav viegli pieejami. Darbā ir parādīts, kādā veidā semantikas uzdošanas teorija var palīdzēt semantikas uzdošanā praktiskām valodām, t.sk. gan veidojot izpratni par jau esošām programmēšanas valodām, gan arī veidojot savas jaunas programmēšanas valodas (arī domēn-specifiskas valodas). Darba ietvaros ir izveidoti strādājoši interpretatori programmēšanas valodām, t.sk. konkrētās sintakses parsētāji, izklāstītas dažādas programmēšanas valodu konstrukcijas, un veikta izpēte, kur slēpjas reālu programmēšanas valodu semantikas sarežģītība.

It is simple to specify semantics for educational programming languages. However, clear semantics statements or even principle statements of semantics specification for real programming languages are not easily available. This thesis presents how the semantics specification theory can help in specifying semantics for practical languages, including raising awareness of the existing programming languages and also for creating new programming languages (including domain specific languages). This thesis presents working interpreters for programming languages, including parsers of the concrete syntax. This thesis also presents the statements of the various constructions of programming languages and contains the research about the reason of the complexity of the semantics of the real programming languages.