{"title":"无线传感器网络的安全编程研究","authors":"F. Martins, Luís M. B. Lopes, J. Barros","doi":"10.4204/EPTCS.17.5","DOIUrl":null,"url":null,"abstract":"Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semanti c 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.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"14 1","pages":"49-62"},"PeriodicalIF":0.1000,"publicationDate":"2010-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":"{\"title\":\"Towards the Safe Programming of Wireless Sensor Networks\",\"authors\":\"F. Martins, Luís M. B. Lopes, J. Barros\",\"doi\":\"10.4204/EPTCS.17.5\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semanti c 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.\",\"PeriodicalId\":53164,\"journal\":{\"name\":\"Journal of Historic Buildings and Places\",\"volume\":\"14 1\",\"pages\":\"49-62\"},\"PeriodicalIF\":0.1000,\"publicationDate\":\"2010-02-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"17\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Historic Buildings and Places\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.17.5\",\"RegionNum\":4,\"RegionCategory\":\"历史学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"0\",\"JCRName\":\"ARCHAEOLOGY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Historic Buildings and Places","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.17.5","RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"ARCHAEOLOGY","Score":null,"Total":0}
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 semanti c 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.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
