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