Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/53026| Author(s): | Francisco Martins Luís Lopes João Barros |
| Title: | Towards Safe Programming of Wireless Sensor Networks |
| Issue Date: | 2010 |
| Abstract: | Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semantic gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we define a core calculus for programming sensor networks and propose to use it as an assembly language for developing type-safe, high-level programming languages. |
| Subject: | Ciência de computadores, Ciências da computação e da informação Computer science, Computer and information sciences |
| Scientific areas: | Ciências exactas e naturais::Ciências da computação e da informação Natural sciences::Computer and information sciences |
| URI: | https://repositorio-aberto.up.pt/handle/10216/53026 |
| Document Type: | Artigo em Revista Científica Internacional |
| Rights: | openAccess |
| License: | https://creativecommons.org/licenses/by-nc/4.0/ |
| Appears in Collections: | FCUP - Artigo em Revista Científica Internacional |
This item is licensed under a Creative Commons License
