Browse Research and Tech Reports - Computer Science by Subject "Formal Systems"

  • Rosu, Grigore (2004-08)
    An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much simpler and easier to optimize unconditional ...

    application/pdf

    application/pdfPDF (363kB)