Aggregate Programming through a Soft Modal Logic
63
Aggregate Programming through a Soft Modal Logic Alberto Lluch Lafuente Based on joint work with Ugo Montanari (University of Pisa) Michele Loreti (University of Florence) Martin Rasmussen (DTU) LMU, May 24, 2016
-
Upload
alberto-lluch-lafuente -
Category
Science
-
view
243 -
download
1
Transcript of Aggregate Programming through a Soft Modal Logic
Aggregate�Programming�through�a�Soft�Modal�Logic��
Alberto�Lluch�Lafuente��
Based�on�joint�work�with�Ugo�Montanari�(University�of�Pisa)�
Michele�Loreti�(University�of�Florence)�Martin�Rasmussen�(DTU)��
�
LMU,May24,2016
foldr f z [] = z foldr f z (x:xs) = f x (foldr f z xs)
MPI_Reduce(&sum,...);
SELECT COUNT(*) FROM ...