Towards the Safe Programming of Wireless Sensor Networks 英文论文文献.docVIP

Towards the Safe Programming of Wireless Sensor Networks Francisco Martins Lu′?s Lopes Jo?ao Barros LASIGE DI-FCUL, Lisbon, Portugal fmartins@di.fc.ul.pt CRACS/INESC-Porto DCC-FCUP, Porto, Portugal lblopes@dcc.fc.up.pt IT FEUP, Porto, Portugal jbarros@fe.up.pt Sensor networks are rather challenging to deploy, program, and debug. Current programming lan- guages for these platforms suffer from a signi?cant semantic gap between their speci?cations and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of prog