Synthesizing Imperative Code from Answer Set Programming Specifications (Q5097626)
From MaRDI portal
scientific article; zbMATH DE number 7576121
Language | Label | Description | Also known as |
---|---|---|---|
English | Synthesizing Imperative Code from Answer Set Programming Specifications |
scientific article; zbMATH DE number 7576121 |
Statements
Synthesizing Imperative Code from Answer Set Programming Specifications (English)
0 references
25 August 2022
0 references
program synthesis
0 references
program transformation
0 references
answer set programming
0 references
partial evaluation
0 references
symbolic execution
0 references
0 references