Disertační práce

Progress in Programming Language Semantics Frameworks

Mgr. Jan Tušil
Anotace

Představa masové produkce počítačového software bez použití vysokoúrovňových programovacích jazyků je obtížná. Tyto jazyky odstiňují softwarové inženýry od detailů přítomných v moderních počítačových architekturách: instrukční sady, keše, provádění instrukcí mimo pořadí, a tak dále. Ale když se abstrahujeme od těchto detailů, co zbyde z programovacího jazyka? Když tyto "zbytky" - sémantiku daného …více

Abstract

One can hardly imagine large-scale production of computer software without the use of high-level programming languages. These shield software engineers from the overwhelming amount of detail present in modern computer architectures: instruction sets, caches, out-of-order execution, and so on. But when these details are abstracted, what does remain of a programming language? When the remains – a programming …více

Klíčová slova
formal semantics programming languages formal verification logic hyperproperties theorem proving Coq K-framework
Administrativní informace
Práce zkontrolována:
7. 2. 2025 16:26, doc. Mgr. Jan Obdržálek, PhD., učo 1552
Plný text práce
1,1 MB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
12. 6. 2025
Práce byla úspěšně obhájena

Vedoucí

doc. Mgr. Jan Obdržálek, PhD., učo 1552
KTP FI MU

Oponenti

Prof. Dr. Alexander Knapp
University of Augsburg
Vlad Rusu, PhD
INRIA - CNRS, Lille
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Technologie a metodologie počítačových systémů

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.