Using Answer Set Programming Solvers to Synthesize Concurrent Programs (Rapporti tecnici/preprint/working paper)

Type
Label
  • Using Answer Set Programming Solvers to Synthesize Concurrent Programs (Rapporti tecnici/preprint/working paper) (literal)
Anno
  • 2012-01-01T00:00:00+01:00 (literal)
Alternative label
  • De Angelis E., Pettorossi A., Proietti M. (2012)
    Using Answer Set Programming Solvers to Synthesize Concurrent Programs
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • De Angelis E., Pettorossi A., Proietti M. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • R. 12-19 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Univ. Chieti-Pescara, Univ. Tor Vergata, IASI-CNR (literal)
Titolo
  • Using Answer Set Programming Solvers to Synthesize Concurrent Programs (literal)
Abstract
  • We address the problem of the automatic synthesis of concurrent programs within a framework based on Answer Set Programming (ASP). Every concurrent program to be synthesized is specified by providing both the behavioural and the structural properties it should satisfy. Behavioural properties, such as safety and liveness properties, are specified by using formulas of the Computation Tree Logic, which are encoded as a logic program. Structural properties, such as the symmetry of processes, are also encoded as a logic program. Then, the program which is the union of these two encoding programs, is given as input to an ASP system which returns as output a set of answer sets. Finally, each answer set is decoded into a synthesized program that, by construction, satisfies the desired behavioural and structural properties. (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it