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žené v:

Podrobná bibliografia
Vydané v:	Proceedings of ACM on programming languages Ročník 6; číslo POPL; s. 1 - 32
Hlavní autori:	Oliveira Vale, Arthur, Melliès, Paul-André, Shao, Zhong, Koenig, Jérémie, Stefanesco, Léo
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	ACM 16.01.2022
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!