|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 12 van 13 gevonden artikelen
| Titel: |
Synthesizing Concurrent Programs Using Answer Set Programming |
| Auteur: |
De Angelis, Emanuele Pettorossi, Alberto Proietti, Maurizio |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 120 (2012) nr. 3-4 pagina's 205-229 |
| Jaar: |
2012-12-03 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 12 van 13 gevonden artikelen
| << vorige | volgende >> |