More on unfold/fold transformations of normal programs : preservation of fitting's semantics

A. Bossi, S. Etalle

    Research output: Book/ReportReportAcademic

    84 Downloads (Pure)
    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Number of pages18
    Publication statusPublished - 1994

    Publication series

    NameCWI Report
    VolumeCS-R-94-47

    Cite this