Generátor cílového kódu pro vestavný procesně funkcionální jazyk

Abstract

Programovací jazyk e-PFL (Embedded Process Functional Language, Vestavný procesně funkcionální jazyk) je určen pro modelování vestavných systémů na vysoké úrovni abstrakce. Cílem mé bakalářské práce bylo rozšířit již stávající kompilátor o možnost překladu zdrojového kódu v jazyce e-PFL do programovacího jazyka Erlang. Erlang je jazyk integrující prvky funkcionálního paradigmatu a je hojně využíván pro komerční účely, zejména v telekomunikacích. Při realizaci bylo nejdřív nutné vyjádřit specifické konstrukce jazyka e-PFL v jazyce Erlang tak, aby funkčnost modelovaného vestavného systému byla stejná v obou jazycích. Syntaxe i sémantika obou jazyků jsou podobné, ale jinak se jazyky v mnoha ohledech liší. Jazyk e-PFL nabízí mechanismus pro snadnější modelování vestavných systémù. Bylo proto nutné navrhnout, jak převést konstrukce z jazyka e-PFL do jazyka Erlang. Výsledný generátor cílového kódu byl implementován do existujícího překladače, ten je napsán v jazyce C#.

The e-PFL (Embedded Process Functional Language) programming language is made for a high level abstraction modeling of embedded systems. Goal of my bachelor thesis was to extend already existing compiler, so it would translate a source code written in the e-PFL programming language to the source code in Erlang programming language. Erlang is a programming language integrating the characteristics of a functional paradigm and is widely used for a commercial purposes, mainly in telecommunications. First important thing was to express special constructions of the e-PFL in the Erlang, thus the functionality of a modeled embedded system would be equal in both of these languages. Syntax and semantics of both languages are similar, otherwise they have many differences. In e-PFL programming language, the mechanism for easier embedded system modeling is provided. Thus it was necessary to design the way, of the translation the language constructions from e-PFL to Erlang. Final target code generator was implemented into the existing compiler and it is written in the C# programming language.