文章基本信息

标题：Towards the Safe Programming of Wireless Sensor Networks
本地全文：下载
作者：Francisco Martins ; Luís Lopes ; João Barros 等
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2009
卷号：17
页码：49-62
DOI：10.4204/EPTCS.17.5
出版社：Open Publishing Association
摘要：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.