Towards the Safe Programming of Wireless Sensor Networks

Towards the Safe Programming of Wireless Sensor Networks

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 pot...

Full description

Bibliographic Details
Main Authors: Francisco Martins, Luís Lopes, João Barros
Format: Article
Language:English
Published: Open Publishing Association 2010-02-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1002.0937v1
id doaj-f4b8c2d11911478399c6d79ca55986b7
record_format Article
spelling doaj-f4b8c2d11911478399c6d79ca55986b72020-11-24T21:09:06ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802010-02-0117Proc. PLACES 2009496210.4204/EPTCS.17.5Towards the Safe Programming of Wireless Sensor NetworksFrancisco MartinsLuís LopesJoão BarrosSensor 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. http://arxiv.org/pdf/1002.0937v1
collection DOAJ
language English
format Article
sources DOAJ
author Francisco Martins
Luís Lopes
João Barros
spellingShingle Francisco Martins
Luís Lopes
João Barros
Towards the Safe Programming of Wireless Sensor Networks
Electronic Proceedings in Theoretical Computer Science
author_facet Francisco Martins
Luís Lopes
João Barros
author_sort Francisco Martins
title Towards the Safe Programming of Wireless Sensor Networks
title_short Towards the Safe Programming of Wireless Sensor Networks
title_full Towards the Safe Programming of Wireless Sensor Networks
title_fullStr Towards the Safe Programming of Wireless Sensor Networks
title_full_unstemmed Towards the Safe Programming of Wireless Sensor Networks
title_sort towards the safe programming of wireless sensor networks
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2010-02-01
description 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.
url http://arxiv.org/pdf/1002.0937v1
work_keys_str_mv AT franciscomartins towardsthesafeprogrammingofwirelesssensornetworks
AT luislopes towardsthesafeprogrammingofwirelesssensornetworks
AT joaobarros towardsthesafeprogrammingofwirelesssensornetworks
_version_ 1716758559606177792

Similar Items