Geometry of synthesis
From MaRDI portal
Publication:3189816
DOI10.1145/1190216.1190269zbMath1295.68062OpenAlexW4249023099MaRDI QIDQ3189816
Publication date: 12 September 2014
Published in: Proceedings of the 34th 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/1190216.1190269
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical problems of computer architecture (68M07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Computation by interaction for space-bounded functional programming ⋮ Parsimonious Types and Non-uniform Computation ⋮ Geometry of Synthesis II: From Games to Delay-Insensitive Circuits ⋮ Generating Reversible Circuits from Higher-Order Functional Programs ⋮ Unnamed Item ⋮ Quantitative weak linearisation ⋮ A calculus for hardware description ⋮ A Petri Net Model of Handshake Protocols ⋮ Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits ⋮ The Calculus of Handshake Configurations ⋮ Coquet: A Coq Library for Verifying Hardware
Uses Software