Automatic design and implementation of language data types
No abstract available.
Related papers
- Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi CPP 2023
- Type-directed automatic incrementalization PLDI 2012
- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information ECOOP 2003
- Type-assisted automatic garbage collection for lock-free data structures ISMM 2017
- VeriFx: Correct Replicated Data Types for the Masses ECOOP 2023
- Automatic fine-grain locking using shape properties OOPSLA 2011
- Katara: synthesizing CRDTs with verified lifting OOPSLA 2022
- Type-directed scheduling of streaming accelerators PLDI 2020