Bc. Jan Tušil
Master's thesis
An Executable Formal Semantics of C++
An Executable Formal Semantics of C++
Abstract:
Moderní programovací jazyky jsou expresivní, ale také složité. Když je sémantika nějakého jazyka popsána formálně ve frameworku nazývaném "K", je možné z této sémantiky odvodit celou řádu nástrojů, mimo jiné interpreter a model checker. V této práci rozšiřujeme experimentální formální sémantiku jazyka C++ psanou v K frameworku o podporu: výčtových typů (enumerací), zero-inicializace tříd, a vyhodnocování …moreAbstract:
Modern programming languages are expressive, but also complex. When a particular programming language is given a formal semantics in the framework called "K", a large variety of tools can be derived from it, including an interpreter or a model checker. In this thesis, we extend an experimental formal semantics of C++ in K with a support for three language features: enumerations, zero-initialization …more
Language used: English
Date on which the thesis was submitted / produced: 12. 12. 2017
Identifier:
https://is.muni.cz/th/webh9/
Thesis defence
- Date of defence: 1. 2. 2018
- Supervisor: doc. RNDr. Jan Strejček, Ph.D.
- Reader: doc. Mgr. Jan Obdržálek, PhD.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems