Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation.
Peter SewellPawel T. WojciechowskiAsis UnyapothPublished in: ACM Trans. Program. Lang. Syst. (2010)
Keyphrases
- programming language
- denotational semantics
- communication infrastructure
- logic programming
- specification language
- programming language constructs
- database languages
- context aware
- mobile computing
- object oriented
- general purpose
- lightweight
- strongly typed
- high level
- mobile devices
- communication networks
- mobile phone
- operational semantics
- network infrastructure
- software engineering
- computing environments
- lambda calculus
- mobile applications
- mobile technologies
- domain specific languages
- overlay network
- query language
- artificial intelligence
- database systems
- data model
- wireless sensor networks
- formal semantics
- mobile networks
- open source
- databases
- peer to peer