The Completeness of a Hardware Inference System
Abstract elided by the publisher.
Related papers
- A derivation framework for dependent security label inference OOPSLA 2018
- Sound and Complete Type Inference for a Systems Programming Language APLAS 2008
- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests ESOP 2023
- Wire sorts: a language abstraction for safe hardware composition PLDI 2021
- A Unified Memory Dependency Framework for Speculative High-Level Synthesis CC 2024
- Deciding not to Decide - Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism ESOP 2026
- The liberty structural specification language: a high-level modeling language for component reuse PLDI 2004
- FreezeML: complete and easy type inference for first-class polymorphism PLDI 2020