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
    0 references
    0 references
    0 references
    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

    Identifiers