Programming Language Design and Analysis Motivated by Hardware Evolution
No abstract available.
Related papers
- APL since 1978 HOPL 2020
- A reflective functional language for hardware design and theorem proving JFP 2006
- Pi: A Case Study in Object-Oriented Programming OOPSLA 1986
- An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis GPCE 2024
- Axioms for Memory Access in Asynchronous Hardware Systems TOPLAS 1986
- Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems ECOOP 2021
- ABC: An Academic Industrial-Strength Verification Tool CAV 2010
- MLIR: Scaling Compiler Infrastructure for Domain Specific Computation CGO 2021