Implicit program synthesis by a reversible metainterpreter

Henning Christiansen

    Publikation: Konferencebidrag › Paper › Forskning › peer review

    OriginalsprogEngelsk
    Publikationsdato1997
    StatusUdgivet - 1997
    BegivenhedProceedings of the Seventh International Workshop on Logic Program Syntehsis and Transformation LOPSTR'97 - Leuven
    Varighed: 10 jul. 1997 → 12 jul. 1997
    Konferencens nummer: 7

    Konference

    KonferenceProceedings of the Seventh International Workshop on Logic Program Syntehsis and Transformation LOPSTR'97
    Nummer7
    ByLeuven
    Periode10/07/1997 → 12/07/1997

    Citer dette