|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 12 of 13 found articles
| Title: |
Synthesizing Concurrent Programs Using Answer Set Programming |
| Author: |
De Angelis, Emanuele Pettorossi, Alberto Proietti, Maurizio |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 120 (2012) nr. 3-4 pages 205-229 |
| Year: |
2012-12-03 |
| Contents: |
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. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 12 of 13 found articles
| << previous | next >> |