Mirko Viroli

7th International Spatial Computing Workshop (SCW 2014), pages 1-11
6 May 2014
Stefan Dulman, Luidnel Maignan, Antoine Spicher, Mirko Viroli (eds.)

In spatial computing, there is a fundamental tension between discrete and continuous models of computation: computational devices are generally discrete, yet it is often useful to program them in terms of the continuous environment through which they are embedded. Aggregate programming models for spatial computers have attempted to resolve this tension in a variety of different ways, generating a profusion of approaches that are difficult to compare or combine. Recently, however, two minimal models have been proposed: continuous space-time universality and a discrete field calculus. This paper unifies these two models by proving that field calculus is space-time universal, and thus provides the first formal connection between continuous and discrete approaches to spatial computing.

(keywords) Computational Fields, Continuous models, Expressiveness
Address = {AAMAS 2014, Paris, France},
Author = {Beal, Jacob AND Viroli, Mirko AND Damiani, Ferruccio},
Booktitle = {7th International Spatial Computing Workshop (SCW 2014)},
Editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
Keywords = {Computational Fields, Confluence, Functional Programming, Chemical rules}},
Month = {6~} # may,
Note = {Proceedings},
Pages = {59--64},
Title = {Engineering Confluent Computational Fields: from Functions to Rewrite Rules},
Year = 2014} 



— authors

Mirko Viroli

— editors

Stefan Dulman, Luidnel Maignan, Antoine Spicher, Mirko Viroli

— status


— sort

paper in proceedings


— volume

7th International Spatial Computing Workshop (SCW 2014)

— pages


— publication date

6 May 2014


original PDF


— BibTeX ID
— BibTeX category

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY