Index Catalog // Digital Collections

Clear filters

Filtering by: Creator Francoise Bellegarde

List Gallery Masonry Slideshow

ASTRE : towards a fully automated program transformation System

Qz20ss90r?file=thumbnail

Creator:	Francoise Bellegarde
Date:	1994
Document Type:	article

Automating synthesis by completion

8c97kq651?file=thumbnail

Creator:	Francoise Bellegarde
Date:	1994
Document Type:	article

A transformation system combining partial evaluation with term rewriting

Bz60cw63f?file=thumbnail

Creator:	Francoise Bellegarde
Date:	1994
Document Type:	article

Automatic transformations by rewriting techniques

S7526c745?file=thumbnail

Creator:	Francoise Bellegarde
Date:	1994
Document Type:	article

Monads, indexes and transformations

Hh63sw25s?file=thumbnail

Creator:	Francoise Bellegarde
Date:	1993
Document Type:	article

Monads, indexes and transformations

Cc08hf93h?file=thumbnail

Creator:	Francoise Bellegarde
Date:	1992
Document Type:	article

Program transformation and rewriting

0g354f523?file=thumbnail

Creator:	Francoise Bellegarde
Date:	1990
Document Type:	article

A matching process modulo a theory of categorical products

X059c759q?file=thumbnail

Creator:	Francoise Bellegarde
Date:	1990
Document Type:	article

ASTRE: a transformation system using completion

Z316q193x?file=thumbnail

Creator:	Francoise Bellegarde
Date:	1991
Document Type:	article