Transforming constraint logic programs (Q1274969)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Transforming constraint logic programs
scientific article

    Statements

    Transforming constraint logic programs (English)
    0 references
    0 references
    0 references
    12 January 1999
    0 references
    program transformations
    0 references
    constraint logic programs
    0 references
    least fixpoint semantics
    0 references
    correctness
    0 references

    Identifiers