Geometry of synthesis III

DOI10.1145/1926385.1926425MaRDI QIDQ5408555zbMATH OpenOpenAlexFDO

Authors 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

automatic synthesisevent logicgame semanticssyntactic control of interference

Mathematics Subject Classification ID

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

Recommendations

• Towards a typed geometry of interaction
• Computer Science Logic
• Geometry of *-Finite Types
• The geometry of types
• On type inference in the intersection type discipline
• Resourceful program synthesis from graded linear types
• Syntax and models of Cartesian cubical type theory
• scientific article; zbMATH DE number 18625
• scientific article; zbMATH DE number 4145878
• scientific article; zbMATH DE number 1231454

Cited in

(9)

• Linear dependent types in a call-by-value scenario
• Computation by interaction for space-bounded functional programming
• Geometry of synthesis. II: From games to delay-insensitive circuits
• Geometry of synthesis: a structured approach to VLSI design
• Semantics of higher-order quantum computation via geometry of interaction
• Diagrammatic reasoning for delay-insensitive asynchronous circuits
• The dynamic geometry of interaction machine: a token-guided graph rewriter
• Geometry of synthesis. IV: Compiling affine recursion into static hardware
• Quantitative weak linearisation

This page was built for publication: Geometry of synthesis III

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408555)