A "Hardware Compiler" Semantics for Handel-C.
Andrew ButterfieldJim WoodcockPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- low cost
- hardware and software
- programming language
- logic programming
- java virtual machine
- real time
- parallel hardware
- general purpose
- formal semantics
- computing systems
- semantic information
- massively parallel
- software systems
- operational semantics
- hardware architecture
- blue gene
- constraint language
- vlsi implementation
- computing power
- embedded systems
- knowledge representation
- relational databases