Towards a verified compiler prototype for the synchronous language SIGNAL.
Zhibin YangJean-Paul BodeveixMamoun FilaliKai HuYongwang ZhaoDianfu MaPublished in: Frontiers Comput. Sci. (2016)
Keyphrases
- programming language
- natural language
- frequency domain
- general purpose
- object oriented programming
- language learning
- non stationary
- database
- object oriented
- constraint language
- high frequency
- test bed
- wavelet analysis
- modular architecture
- operational semantics
- radio frequency
- java virtual machine
- heart rate
- specification language
- compressive sensing
- computer programs
- conceptual graphs
- image processing
- artificial intelligence
- information retrieval
- machine learning
- neural network
- data sets