activity
20002005
most citedA Trace Logic for Local Security Properties

3 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing 2001Show all

2 papers · 1 filter

cs.PL2001

Transformations of CCP programs

Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo

We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations which guarantee that the input…

cs.LO2001

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling

Annalisa Bossi, Sandro Etalle, Sabina Rossi +1

In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed to a fixed…