The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "JTASPEFT/WSA"( http://dblp.L3S.de/Venues/JTASPEFT/WSA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/sas

Publication years (Num. hits)
1991 (33)
Publication types (Num. hits)
inproceedings(33)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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