Index Catalog // Digital Collections

Clear filters

Filtering by: Creator Francoise Bellegarde School Oregon Graduate Institute

List Gallery Masonry Slideshow

Qz20ss90r?file=thumbnail

1. ASTRE : towards a fully automated program transformation System

Creator:: Francoise Bellegarde
Date:: 1994
Document Type:: article

8c97kq651?file=thumbnail

2. Automating synthesis by completion

Creator:: Francoise Bellegarde
Date:: 1994
Document Type:: article

Bz60cw63f?file=thumbnail

3. A transformation system combining partial evaluation with term rewriting

Creator:: Francoise Bellegarde
Date:: 1994
Document Type:: article

S7526c745?file=thumbnail

4. Automatic transformations by rewriting techniques

Creator:: Francoise Bellegarde
Date:: 1994
Document Type:: article

Hh63sw25s?file=thumbnail

5. Monads, indexes and transformations

Creator:: Francoise Bellegarde
Date:: 1993
Document Type:: article

Cc08hf93h?file=thumbnail

6. Monads, indexes and transformations

Creator:: Francoise Bellegarde
Date:: 1992
Document Type:: article

0g354f523?file=thumbnail

7. Program transformation and rewriting

Creator:: Francoise Bellegarde
Date:: 1990
Document Type:: article

X059c759q?file=thumbnail

8. A matching process modulo a theory of categorical products

Creator:: Francoise Bellegarde
Date:: 1990
Document Type:: article

Z316q193x?file=thumbnail

9. ASTRE: a transformation system using completion

Creator:: Francoise Bellegarde
Date:: 1991
Document Type:: article