Skip to main navigation Skip to search Skip to main content

Deriving declarations from programs: extended abstract

    Research output: Contribution to conference › Paper › Research › peer-review

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

    Conference

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

    Citation Styles