Wire sorts: a language abstraction for safe hardware composition.
Michael ChristensenTimothy SherwoodJonathan BalkindBen HardekopfPublished in: PLDI (2021)
Keyphrases
- low cost
- programming language
- hardware and software
- natural language
- language learning
- artificial intelligence
- computing systems
- data abstraction
- computer systems
- real time
- web service composition
- hardware architecture
- single chip
- data acquisition
- vlsi implementation
- description languages
- hardware designs
- language processing
- logic programs
- query language
- high level
- image processing
- neural network