Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX.
Vadim ZalivaIlia ZaichukFranz FranchettiPublished in: VSTTE (2020)
Keyphrases
- domain specific languages
- programming language
- machine translation
- query translation
- general purpose
- cross language information retrieval
- functional analysis
- optimal solution
- relational databases
- social networks
- statistical machine translation
- information systems
- web services
- case study
- multiscale
- search algorithm
- cross language
- machine translation system