Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence
No abstract available.
Related papers
- Equivalences for free: univalent parametricity for effective transport ICFP 2018
- The Theory and Practice of First-Class Prompts POPL 1988
- Isolating Side Effects in Sequential Languages POPL 1995
- A complete, co-inductive syntactic theory of sequential control and state POPL 2007
- Typing Algorithm in Type Theory with Inheritance POPL 1997
- Opportunities beyond single-core microprocessors PPoPP 2009
- Lifting sequential graph algorithms for distributed-memory parallel computation OOPSLA 2005
- Compiler testing via a theory of sound optimisations in the C11/C++11 memory model PLDI 2013