The systematic development of a pattern-matching algorithm using term rewrite systems

Joost P. Katoen, J. Harland (Editor), Albert Nymeyer

    Research output: Contribution to conferencePaperpeer-review

    10 Downloads (Pure)
    Original languageUndefined
    Pages59-72
    Number of pages14
    Publication statusPublished - 1997
    EventComputing: the Australasian Theory Symposium (CATS'97) - Sydney, Australia
    Duration: 1 Jan 19971 Jan 1997

    Workshop

    WorkshopComputing: the Australasian Theory Symposium (CATS'97)
    Period1/01/971/01/97

    Keywords

    • EWI-6490
    • IR-63304
    • FMT-CC: COMPILER CONSTRUCTION

    Cite this