The Join Calculus: A Language for Distributed Mobile Programming.
Cédric FournetGeorges GonthierPublished in: APPSEM (2000)
Keyphrases
- first order logic
- programming language
- object oriented programming
- programming environment
- formal language
- autonomous mobile
- oriented programming
- computing environments
- mobile devices
- distributed systems
- natural language
- mobile phone
- object oriented
- distributed environment
- multi agent
- map reduce
- language learning
- scripting language
- logic programming
- mobile objects
- java programming
- join algorithms
- query optimization
- mobile agents
- peer to peer
- computer programs
- mobile computing
- type checking
- process algebra
- functional language
- concurrent programming
- query processing
- mobile sensor networks
- oracle pl sql