An Executable Formal Semantics of C++ – Bc. Jan Tušil
Bc. Jan Tušil
Master's thesis
An Executable Formal Semantics of C++
An Executable Formal Semantics of C++
Anotácia:
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í …viacAbstract:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 12. 12. 2017
Identifikátor:
https://is.muni.cz/th/webh9/
Obhajoba závěrečné práce
- Obhajoba proběhla 1. 2. 2018
- Vedúci: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: doc. Mgr. Jan Obdržálek, PhD.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Parallel and Distributed Systems