Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peter T. Breuer |
An Analysis/Synthesis Language with Learning Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 202-209, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | M. Griffiths, Pierre Massotte, C. Paul |
Analyse et transformation de programmes Prolog en vue de leur parallélisation avec les prédicats parand et paror. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 217-224, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Michel Billaud |
Axiomatizations of Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 111-116, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Pierre Crégut |
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 37-43, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | François Denis, Jean-Paul Delahaye |
Unfolding, Procedural and Fixpoint Semantics of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 157-164, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Bruno Monsuez |
An Attempt to Find Polymorphic Types by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 18-25, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Éric Villemonte de la Clergerie |
A Tool for Abstract Interpretation: Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 151-156, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Yamine Aït Ameur |
Non Functional Properties Can Guide Program Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 189-196, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Christopher Colby, Peter Lee 0001 |
An Implementation of Parametrized Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 82-89, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Philippe Codognet, Gilberto Filé |
Computations, Abstractions and Constraints (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 70-71, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Pierre De Boeck, Baudouin Le Charlier |
Automatic Construction of Prolog Primitives for Type Checking Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 165-172, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Christian Queinnec, Julian A. Padget |
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 1-8, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Anne De Niel, Eddi Bevers, Karel De Vlaminck |
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 90-97, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Talpin, Pierre Jouvelot |
Polymorphic Type, Region and Effect Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 26-32, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Anne Parrain, Philippe Devienne, Patrick Lebègue |
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 132-138, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Vincent Dornic, Pierre Jouvelot, David K. Gifford |
Polymorphic Time Systems for Estimating Program Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 9-17, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Karoline Malmkjær |
On Static Properties of Specialized Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 234-241, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar |
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 53-61, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 107-110, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Olin Shivers |
Useless-Variable Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 197-201, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Geoff W. Hamilton, Simon B. Jones |
Transforming Programs to Eliminate Intermediate Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 182-188, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 33-36, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Imbert, Pascal Van Hentenryck |
A propos des redondances dans les systèmes d'inéquations linéaires. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 210-216, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | F. Goudal |
Une représentation abstraite des expressions et continuations en Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 225-233, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | François Barthélemy |
Prédire à bon escient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 139-143, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
Modelling Prolog Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 117-124, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Yong Sun |
Equational Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 44-52, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Kaninda Musumbu |
Interprétation abstraite au moyen de grammaires attribuées. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 144-150, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Christophe Lecoutre, Philippe Devienne, Patrick Lebègue |
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 62-69, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Irène Durand, David J. Sherman, Robert Strandh |
Partial Evaluation of an Intermediate Language for Equational Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 98-106, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Charles Consel, Siau-Cheng Khoo |
Evaluation partielle paramétrable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 72-81, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard, Jean-Gabriel Ganascia |
A propos du contrôle de la résolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 125-131, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | W.-N. Chin |
Generalising Deforestation for All First-Order Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTASPEFT/WSA ![In: Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 173-181, 1991, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|