期刊
SCIENCE OF COMPUTER PROGRAMMING
卷 117, 期 -, 页码 17-44出版社
ELSEVIER SCIENCE BV
DOI: 10.1016/j.scico.2015.11.005
关键词
Computational field; Core calculus; Operational semantics; Spatial computing; Type soundness
资金
- project HyVar (European Union's Horizon research and innovation programme) [644298]
- EU FP7 project SAPERE [256873]
- ICT COST Action IC1402 ARVI
- Italian MIUR PRIN project CINA [2010LHT4KM]
- Ateneo/CSP project RunVar
- United States Air Force
- Defense Advanced Research Projects Agency [FA8750-10-C-0242]
- ICT COST Action IC1201 BETTY
A number of recent works have investigated the notion of computational fields as a means of coordinating systems in distributed, dense and dynamic environments such as pervasive computing, sensor networks, and robot swarms. We introduce a minimal core calculus meant to capture the key ingredients of languages that make use of computational fields: functional composition of fields, functions over fields, evolution of fields over time, construction of fields of values from neighbours, and restriction of a field computation to a sub-region of the network. We formalise a notion of type soundness for the calculus that encompasses the concept of domain alignment, and present a sound static type inference system. This calculus and its type inference system can act as a core for actual implementation of coordination languages and models, as well as to pave the way towards formal analysis of properties concerning expressiveness, self-stabilisation, topology independence, and relationships with the continuous space-time semantics of spatial computations. (C) 2015 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据