Thesis supervisor: Máté Tejfel
Location of studies (in Hungarian): ELTE Faculty of Informatics, Department of Progamming Languages and Compilers Abbreviation of location of studies: ELTE
Description of the research topic:
Semantics of programming languages is usually defined informally by a language specification document written in a natural language, but sometimes even less tangible, solely by the behaviour of the compiler or the interpreter. However, for formal analysis of programs we need a formal definition of the syntax and the semantics of the language in question. This latter involves finding a model of the language at a proper abstraction level, as well as selecting the appropriate mathematical tools and approaches for the definition of the model. Formal definition of state-of-the-art, high-level languages and domain specific languages, along with the problem of using the formal models to express and derive meaningful properties of programs, raises rather complex questions.
The research has to investigate semantic models of state-of-the-art and domain specific languages, and has to address methods for defining and verifying formal program properties and relationships between formal models and compilers.
Required language skills: English Number of students who can be accepted: 1
Deadline for application: 2018-05-31
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).