Deriving declarations from programs: extended abstract

    Research output: Contribution to conferencePaperResearchpeer-review

    Original languageEnglish
    Publication date1997
    Publication statusPublished - 1997
    EventCPP'97: Workshop on Constraint Programming for Reasoning about Programming - Leeds, United Kingdom
    Duration: 9 Apr 199710 Apr 1997

    Conference

    ConferenceCPP'97: Workshop on Constraint Programming for Reasoning about Programming
    Country/TerritoryUnited Kingdom
    CityLeeds
    Period09/04/199710/04/1997

    Cite this