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...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of ACM on programming languages Vol. 6; no. POPL; pp. 1 - 32
Main Authors:	Oliveira Vale, Arthur, Melliès, Paul-André, Shao, Zhong, Koenig, Jérémie, Stefanesco, Léo
Format:	Journal Article
Language:	English
Published:	ACM 16.01.2022
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!