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

Files in This Item:
File Description SizeFormat 
49391.pdfArtigo123.27 kBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons