Strategies in Modular System Design by Interface Rewriting
Abstract elided by the publisher.
Related papers
- Triolet: a programming system that unifies algorithmic skeleton interfaces for high-performance cluster computing PPoPP 2014
- Hoopl: a modular, reusable library for dataflow analysis and transformation Haskell 2010
- MultiJava: Design rationale, compiler implementation, and applications TOPLAS 2006
- Modular Hardware Design of Pipelined Circuits with Hazards PLDI 2024
- Kami: a platform for high-level parametric hardware specification and its modular verification ICFP 2017
- Specification and dialogue control of visual interaction through visual rewriting systems TOPLAS 1999
- Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU CGO 2025
- Postcondition-preserving fusion of postorder tree transformations CC 2020