JTASPEFT/WSA

Keyphrases

Publications

1991

Peter T. Breuer
An Analysis/Synthesis Language with Learning Strategies. JTASPEFT/WSA (1991)
M. Griffiths, Pierre Massotte, C. Paul
. JTASPEFT/WSA (1991)
Michel Billaud
Axiomatizations of Backtracking. JTASPEFT/WSA (1991)
Pierre Crégut
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels. JTASPEFT/WSA (1991)
François Denis, Jean-Paul Delahaye
Unfolding, Procedural and Fixpoint Semantics of Logic Programs. JTASPEFT/WSA (1991)
Bruno Monsuez
An Attempt to Find Polymorphic Types by Abstract Interpretation. JTASPEFT/WSA (1991)
Éric Villemonte de la Clergerie
A Tool for Abstract Interpretation: Dynamic Programming. JTASPEFT/WSA (1991)
Yamine Aït Ameur
Non Functional Properties Can Guide Program Developments. JTASPEFT/WSA (1991)
Christopher Colby, Peter Lee
An Implementation of Parametrized Partial Evaluation. JTASPEFT/WSA (1991)
Philippe Codognet, Gilberto Filé
Computations, Abstractions and Constraints (abstract). JTASPEFT/WSA (1991)
Pierre De Boeck, Baudouin Le Charlier
Automatic Construction of Prolog Primitives for Type Checking Analysis. JTASPEFT/WSA (1991)
Christian Queinnec, Julian A. Padget
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation. JTASPEFT/WSA (1991)
Anne De Niel, Eddi Bevers, Karel De Vlaminck
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem. JTASPEFT/WSA (1991)
Jean-Pierre Talpin, Pierre Jouvelot
Polymorphic Type, Region and Effect Inference. JTASPEFT/WSA (1991)
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)
Vincent Dornic, Pierre Jouvelot, David K. Gifford
Polymorphic Time Systems for Estimating Program Complexity. JTASPEFT/WSA (1991)
Karoline Malmkjær
On Static Properties of Specialized Programs. JTASPEFT/WSA (1991)
Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA (1991)
Patrick Cousot, Radhia Cousot
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFT/WSA (1991)
Olin Shivers
Useless-Variable Elimination. JTASPEFT/WSA (1991)
Geoff W. Hamilton, Simon B. Jones
Transforming Programs to Eliminate Intermediate Structures. JTASPEFT/WSA (1991)
Patrick Cousot, Radhia Cousot
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). JTASPEFT/WSA (1991)
Jean-Louis Imbert, Pascal Van Hentenryck
A propos des redondances dans les systèmes d'inéquations linéaires. JTASPEFT/WSA (1991)
F. Goudal
Une représentation abstraite des expressions et continuations en Scheme. JTASPEFT/WSA (1991)
François Barthélemy
Prédire à bon escient. JTASPEFT/WSA (1991)
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
Modelling Prolog Control. JTASPEFT/WSA (1991)
Yong Sun
Equational Logics. JTASPEFT/WSA (1991)
Kaninda Musumbu
Interprétation abstraite au moyen de grammaires attribuées. JTASPEFT/WSA (1991)
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. JTASPEFT/WSA (1991)
Irène Durand, David J. Sherman, Robert Strandh
Partial Evaluation of an Intermediate Language for Equational Programs. JTASPEFT/WSA (1991)
Charles Consel, Siau-Cheng Khoo
Evaluation partielle paramétrable. JTASPEFT/WSA (1991)
Frédéric Mesnard, Jean-Gabriel Ganascia
A propos du contrôle de la résolution. JTASPEFT/WSA (1991)
W.-N. Chin
Generalising Deforestation for All First-Order Functional Programs. JTASPEFT/WSA (1991)