MSL: A Synthesis Enabled Language for Distributed Implementations.
Zhilei XuShoaib KamilArmando Solar-LezamaPublished in: SC (2014)
Keyphrases
- distributed systems
- programming language
- functional programs
- language processing
- distributed environment
- peer to peer
- communication overhead
- language learning
- databases
- program synthesis
- natural language
- cooperative
- operational semantics
- machine learning
- case study
- artificial intelligence
- distributed data
- distributed computing
- specification language
- modeling language
- digital libraries
- fault tolerant
- multi agent
- real time
- data model
- query processing