Diplomová práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

An Executable Formal Semantics of C++

Bc. Jan Tušil
Anotace

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í …více

Abstract

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 …více

Klíčová slova
C++ formal semantics K framework enumerations constant expressions initialization formal methods
Zadání práce
In recent years, the semantics of many real-world programming languages was defined in specialized formal semantic framework, K. In particular, there exists a complete C semantics in K, and C++14 semantics is being actively developed. The goal of this thesis is to extend the C++14 semantics with some language features which are not implemented yet, in particular enumerations and constexpr functions.
Administrativní informace
Práce zkontrolována:
13. 12. 2017 09:00, prof. RNDr. Jan Strejček, Ph.D., učo 3366
Plný text práce
508,4 KB / soubor PDF
Přílohy (2)
Jazyk práce
angličtina angličtina
Termín obhajoby
1. 2. 2018
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jan Strejček, Ph.D., učo 3366
ITI KTP FI MU

Oponent

doc. Mgr. Jan Obdržálek, PhD., učo 1552
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.