Deriving declarations from programs: extended abstract

Henning Christiansen

    Publikation: Konferencebidrag › Paper › Forskning › peer review

    OriginalsprogEngelsk
    Publikationsdato1997
    StatusUdgivet - 1997
    BegivenhedCPP'97: Workshop on Constraint Programming for Reasoning about Programming - Leeds, Storbritannien
    Varighed: 9 apr. 1997 → 10 apr. 1997

    Konference

    KonferenceCPP'97: Workshop on Constraint Programming for Reasoning about Programming
    Land/OmrådeStorbritannien
    ByLeeds
    Periode09/04/1997 → 10/04/1997

    Citer dette