1. JTASPEFL/WSA 1991: Bordeaux, France

> Home > Conferences and Workshops > JTASPEFL/WSA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/1991
Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy:
Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Series Bigre 74, Atelier Irisa, IRISA, Campus de Beaulieu 1991
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/QueinnecP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/QueinnecP91
Christian Queinnec, Julian A. Padget:
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation. JTASPEFT/WSA 1991: 1-8
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/DornicJG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/DornicJG91
Vincent Dornic, Pierre Jouvelot, David K. Gifford:
Polymorphic Time Systems for Estimating Program Complexity. JTASPEFT/WSA 1991: 9-17
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Monsuez91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Monsuez91
Bruno Monsuez:
An Attempt to Find Polymorphic Types by Abstract Interpretation. JTASPEFT/WSA 1991: 18-25
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/TalpinJ91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/TalpinJ91
Jean-Pierre Talpin, Pierre Jouvelot:
Polymorphic Type, Region and Effect Inference. JTASPEFT/WSA 1991: 26-32
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/CousotC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/CousotC91
Patrick Cousot, Radhia Cousot:
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). JTASPEFT/WSA 1991: 33-36
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Cregut91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Cregut91
Pierre Crégut:
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels. JTASPEFT/WSA 1991: 37-43
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Sun91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Sun91
Yong Sun:
Equational Logics. JTASPEFT/WSA 1991: 44-52
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/EchahedJPS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/EchahedJPS91
Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar:
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA 1991: 53-61
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/LecoutreDL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/LecoutreDL91
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue:
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. JTASPEFT/WSA 1991: 62-69
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/CodognetF91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/CodognetF91
Philippe Codognet, Gilberto Filé:
Computations, Abstractions and Constraints (abstract). JTASPEFT/WSA 1991: 70-71
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/ConselK91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ConselK91
Charles Consel, Siau-Cheng Khoo:
Evaluation partielle paramétrable. JTASPEFT/WSA 1991: 72-81
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/ColbyL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ColbyL91
Christopher Colby, Peter Lee:
An Implementation of Parametrized Partial Evaluation. JTASPEFT/WSA 1991: 82-89
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/NielBV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/NielBV91
Anne De Niel, Eddi Bevers, Karel De Vlaminck:
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem. JTASPEFT/WSA 1991: 90-97
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/DurandSS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/DurandSS91
Irène Durand, David J. Sherman, Robert Strandh:
Partial Evaluation of an Intermediate Language for Equational Programs. JTASPEFT/WSA 1991: 98-106
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/CousotC91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/CousotC91a
Patrick Cousot, Radhia Cousot:
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFT/WSA 1991: 107-110
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Billaud91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Billaud91
Michel Billaud:
Axiomatizations of Backtracking. JTASPEFT/WSA 1991: 111-116
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/BarbutiCGL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BarbutiCGL91
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modelling Prolog Control. JTASPEFT/WSA 1991: 117-124
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/MesnardG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/MesnardG91
Frédéric Mesnard, Jean-Gabriel Ganascia:
A propos du contrôle de la résolution. JTASPEFT/WSA 1991: 125-131
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/ParrainDL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ParrainDL91
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Barthelemy91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Barthelemy91
François Barthélemy:
Prédire à bon escient. JTASPEFT/WSA 1991: 139-143
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Musumbu91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Musumbu91
Kaninda Musumbu:
Interprétation abstraite au moyen de grammaires attribuées. JTASPEFT/WSA 1991: 144-150
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Clergerie91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Clergerie91
Éric Villemonte de la Clergerie:
A Tool for Abstract Interpretation: Dynamic Programming. JTASPEFT/WSA 1991: 151-156
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/DenisD91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/DenisD91
François Denis, Jean-Paul Delahaye:
Unfolding, Procedural and Fixpoint Semantics of Logic Programs. JTASPEFT/WSA 1991: 157-164
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/BoeckC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BoeckC91
Pierre De Boeck, Baudouin Le Charlier:
Automatic Construction of Prolog Primitives for Type Checking Analysis. JTASPEFT/WSA 1991: 165-172
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Chin91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Chin91
W.-N. Chin:
Generalising Deforestation for All First-Order Functional Programs. JTASPEFT/WSA 1991: 173-181
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/HamiltonJ91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/HamiltonJ91
Geoff W. Hamilton, Simon B. Jones:
Transforming Programs to Eliminate Intermediate Structures. JTASPEFT/WSA 1991: 182-188
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Ameur91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Ameur91
Yamine Aït Ameur:
Non Functional Properties Can Guide Program Developments. JTASPEFT/WSA 1991: 189-196
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Shivers91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Shivers91
Olin Shivers:
Useless-Variable Elimination. JTASPEFT/WSA 1991: 197-201
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Breuer91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Breuer91
Peter T. Breuer:
An Analysis/Synthesis Language with Learning Strategies. JTASPEFT/WSA 1991: 202-209
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/ImbertH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ImbertH91
Jean-Louis Imbert, Pascal Van Hentenryck:
A propos des redondances dans les systèmes d'inéquations linéaires. JTASPEFT/WSA 1991: 210-216
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/GriffithsMP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GriffithsMP91
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: 217-224
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Goudal91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Goudal91
F. Goudal:
Une représentation abstraite des expressions et continuations en Scheme. JTASPEFT/WSA 1991: 225-233
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sas/Malmkjaer91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Malmkjaer91
Karoline Malmkjær:
On Static Properties of Specialized Programs. JTASPEFT/WSA 1991: 234-241

Acknowledgement: The BibTeX file of this proceedings was contributed by Marc-Michel Corsini.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.