Search Constraints

Filtering by: Creator Francoise Bellegarde Remove constraint Creator: Francoise Bellegarde Collection Scholars Archive Remove constraint Collection: Scholars Archive

Search Results

  1. ASTRE : towards a fully automated program transformation System

    Qz20ss90r?file=thumbnail
  2. Automating synthesis by completion

    8c97kq651?file=thumbnail
  3. A transformation system combining partial evaluation with term rewriting

    Bz60cw63f?file=thumbnail
  4. Automatic transformations by rewriting techniques

    S7526c745?file=thumbnail
  5. Monads, indexes and transformations

    Hh63sw25s?file=thumbnail
  6. Monads, indexes and transformations

    Cc08hf93h?file=thumbnail
  7. Program transformation and rewriting

    0g354f523?file=thumbnail
  8. A matching process modulo a theory of categorical products

    X059c759q?file=thumbnail
  9. ASTRE: a transformation system using completion

    Z316q193x?file=thumbnail