Layered and object-based game semantics

Large-scale software verification relies critically on the use of compositional languages, semantic models, specifications, and verification techniques. Recent work on certified abstraction layers synthesizes game semantics, the refinement calculus, and algebraic effects to enable the composition of...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of ACM on programming languages Ročník 6; číslo POPL; s. 1 - 32
Hlavní autoři:	Oliveira Vale, Arthur, Melliès, Paul-André, Shao, Zhong, Koenig, Jérémie, Stefanesco, Léo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	ACM 16.01.2022
Témata:	Algebraic Geometry Algebraic Topology Category Theory Computation and Language Computer Science Computer Science and Game Theory Formal Languages and Automata Theory Logic Logic in Computer Science Mathematical Software Mathematics Programming Languages Quantum Algebra certified abstraction layers Linear logic Software and its engineering → Correctness object-based semantics program refinement CCS Concepts: • Theory of computation → Program verification Program specifications Program semantics Logic and verification game semantics Abstraction
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!