同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages).
Ping YangShengyuan WangPublished in: 计算机科学 (2019)
Keyphrases
- data flow
- database machine
- control flow
- programming language
- expressive power
- object oriented software
- data transfer
- digital signal processing
- hardware and software
- language independent
- object oriented
- cross lingual
- general purpose
- computer architecture
- software engineering
- systolic array
- text summarization
- computer systems
- transactional memory
- software systems
- asynchronous communication
- databases