dblp.uni-trier.dewww.uni-trier.de

Anne Parrain Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
8 Daniel Le Berre, Anne Parrain: On SAT Technologies for Dependency Management and Beyond. SPLC (2) 2008: 197-200
1998
7 Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes: Source-to-source Prolog Program Compression. IJCSLP 1998: 205-219
1996
6 Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz: Smallest Horn Clause Programs. J. Log. Program. 27(3): 227-267 (1996)
1994
5 Anne Parrain: Méta-interprétation et transformations de programmes logiques. JFPLC 1994: 77-92
1992
4 Anne Parrain, Philippe Devienne, Patrick Lebègue: Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. LOPSTR 1992: 228-241
3 Anne Parrain, Philippe Devienne, Patrick Lebègue: Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. WSA 1992: 295-303
1991
2 Anne Parrain, Philippe Devienne, Patrick Lebègue: Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs. JTASPEFT/WSA 1991: 132-138
1 Anne Parrain, Philippe Devienne, Patrick Lebègue: Prolog Program Transformations and Meta-Interpreters. LOPSTR 1991: 238-251

Coauthor Index

1Daniel Le Berre [8]
2Philippe Devienne [1] [2] [3] [4] [6] [7]
3Patrick Lebègue [1] [2] [3] [4] [6]
4Jean-Christophe Routier [6]
5Patrick Taillibert [7]
6S. Varennes [7]
7Jörg Würtz [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)