Geometry of synthesis III

DOI10.1145/1926385.1926425zbMath1284.68183OpenAlexW4242556270MaRDI QIDQ5408555

Dan R. Ghica, Alex I. Smith

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1926385.1926425

zbMATH Keywords

game semanticsautomatic synthesissyntactic control of interferenceevent logic

Mathematics Subject Classification ID

Applications of game theory (91A80) Theory of compilers and interpreters (68N20) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Computation by interaction for space-bounded functional programming ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Unnamed Item ⋮ Quantitative weak linearisation ⋮ Linear dependent types in a call-by-value scenario ⋮ Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits

This page was built for publication: Geometry of synthesis III