@string{labri = "Laboratoire Bordelais de Recherche en Informatique"}
@string{wsa = "Billaud, M. and Cast\'eran, P. and Corsini, M.-M. and
Musumbu, K. and Rauzy, A."}

@InProceedings{queinnec:WSA91,
author = 	{Queinnec, C. and Padget, J.},
title = 	{A {P}roposal for a {M}odular {L}isp with {M}acros and
		  {D}ynamic {E}valuation}, 
pages = 	{1--8},
crossref = 	{WSA91},
}

@InProceedings{dornic:WSA91,
author = 	{Dornic, V. and Jouvelot, P. and Gifford, D. K.},
title = 	{Polymorphic {T}ime {S}ystems for {E}stimating
		  {P}rogram {C}omplexity}, 
pages = 	{9--17},
crossref = 	{WSA91},
}

@InProceedings{monsuez:WSA91,
author = 	{Monsuez, B.},
title = 	{An {A}ttempt to {F}ind {P}olymorphic {T}ypes by
		  {A}bstract {I}nterpretation}, 
pages = 	{18--25},
crossref = 	{WSA91},
}

@InProceedings{talpin:WSA91,
author = 	{Talpin, J.-P. and Jouvelot, P.},
title = 	{Polymorphic {T}ype, {R}egion and {E}ffect {I}nference},
pages = 	{26--32},
crossref = 	{WSA91},
}

@InProceedings{cousots:WSA91a,
author = 	{Cousot, P. and Cousot, R.},
title = 	{Relational {A}bstract {I}nterpretation of {H}igher
		  {O}rder {F}unctional {P}rograms (extended
		  abstract)}, 
pages = 	{33--36},
crossref = 	{WSA91},
}

@InProceedings{cregut:WSA91,
author = 	{Cr{\'e}gut, P.},
title = 	{Interpr{\'e}tation abstraite pour am{\'e}liorer la
		  repr{\'e}sentation des environnements dans les
		  langages fonctionnels}, 
pages = 	{37--43},
crossref = 	{WSA91},
}

@InProceedings{sun:WSA91,
author = 	{Sun, Y.},
title = 	{Equational {L}ogics},
pages = 	{44--52},
crossref = 	{WSA91},
}

@InProceedings{echahed:WSA91,
author = 	{Echahed, R. and Jacquet, P. and Potet, M.-L. and Sebbar, S.},
title = 	{Equational {R}easonning and the {C}ompletion
		  {P}rocedure. {A} {C}omparative {S}tudy in {P}rogram
		  {T}ransformation}, 
pages = 	{53--61},
crossref = 	{WSA91},
}

@InProceedings{lillois:WSA91a,
author = 	{Lecoutre, C. and Devienne, P. and Leb{\`e}gue P.},
title = 	{Une analyse du comportement r{\'e}cursif de
		  programmes {P}rolog par une interpr{\'e}tation
		  abstraite}, 
pages = 	{62--69},
crossref = 	{WSA91},
}

@InProceedings{phil:WSA91,
author = 	{Codognet, P. and Fil{\'e}, G.},
title = 	{Computations, {A}bstractions and {C}onstraints (abstract)},
pages = 	{70--71},
crossref = 	{WSA91},
}

@InProceedings{consel:WSA91,
author = 	{Consel, C. and Khoo, S. C.},
title = 	{Evaluation partielle param{\'e}trable},
pages = 	{72--81},
crossref = 	{WSA91},
}

@InProceedings{colby:WSA91,
author = 	{Colby, C. and Lee, P.},
title = 	{An {I}mplementation of {P}arametrized {P}artial
		  {E}valuation}, 
pages = 	{82--89},
crossref = 	{WSA91},
}

@InProceedings{deniel:WSA91,
author = 	{De~Niel, A. and Bevers, E. and De~Vlaminck, K.},
title = 	{Partial {E}valuation of {P}olymorphically {T}yped
		  {F}unctional {L}anguages: the {R}epresentation
		  {P}roblem}, 
pages = 	{90--97},
crossref = 	{WSA91},
}

@InProceedings{durand:WSA91,
author = 	{Durand, I. and Sherman, D. and Strandh, R.},
title = 	{Partial {E}valuation of an {I}ntermediate {L}anguage
		  for {E}quational {P}rograms}, 
pages = 	{98--106},
crossref = 	{WSA91},
}

@InProceedings{cousots:WSA91b,
author = 	{Cousot, P. and Cousot, R.},
title = 	{Comparison of the {G}alois {C}onnection and
		  {W}idening/{N}arrowing {A}pproaches to {A}bstract
		  {I}nterpretation}, 
pages = 	{107--110},
crossref = 	{WSA91},
}

@InProceedings{billaud:WSA91,
author = 	{Billaud, M.},
title = 	{Axiomatizations of {B}acktracking},
pages = 	{111--116},
crossref = 	{WSA91},
}

@InProceedings{pise:WSA91,
author = 	{Barbuti, R. and Codish, M. and Giacobazzi, R. and Levi, G.},
title = 	{Modelling {P}rolog {C}ontrol},
pages = 	{117--124},
crossref = 	{WSA91},
}

@InProceedings{mesnard:WSA91,
author = 	{Mesnard, F. and Ganascia, J.-G.},
title = 	{A propos du contr{\^o}le de la r{\'e}solution},
pages = 	{125--131},
crossref = 	{WSA91},
}

@InProceedings{lillois:WSA91b,
author = 	{Parrain, A. and Devienne, P. and Leb{\`e}gue, P.},
title = 	{Techniques de transformations de programmes {P}rolog
		  g{\'e}n{\'e}raux et validation de
		  m{\'e}ta--interpr{\'e}teurs}, 
pages = 	{132--138},
crossref = 	{WSA91},
}

@InProceedings{bathelemy:WSA91,
author = 	{Barth{\'e}lemy, F.},
title = 	{Pr{\'e}dire {\`a} bon escient},
pages = 	{139--143},
crossref = 	{WSA91},
}

@InProceedings{musumbu:WSA91,
author = 	{Musumbu, K.},
title = 	{Interpr{\'e}tation abstraite au moyen de grammaires
		  attribu{\'e}es}, 
pages = 	{144--150},
crossref = 	{WSA91},
}

@InProceedings{villemonte:WSA91,
author = 	{Villemonte de la Clergerie, E.},
title = 	{A {T}ool for {A}bstract {I}nterpretation: {D}ynamic
		  {P}rogramming}, 
pages = 	{151--156},
crossref = 	{WSA91},
}

@InProceedings{lillois:WSA91c,
author = 	{Denis, F. and Delahaye, J.-P.},
title = 	{Unfolding, {P}rocedural and {F}ixpoint {S}emantics of
		  {L}ogic {P}rograms}, 
pages = 	{157--164},
crossref = 	{WSA91},
}

@InProceedings{baudouin:WSA91,
author = 	{De~Boeck, P. and Le~Charlier, B.},
title = 	{Automatic {C}onstruction of {P}rolog {P}rimitives for
		  {T}ype {C}ecking {A}nalysis}, 
pages = 	{165--172},
crossref = 	{WSA91},
}

@InProceedings{chin:WSA91,
author = 	{Chin, W.-N.},
title = 	{Generalising {D}eforestation for {A}ll
		  {F}irst-{O}rder {F}unctional {P}rograms}, 
pages = 	{173--181},
crossref = 	{WSA91},
}

@InProceedings{hamilton:WSA91,
author = 	{Hamilton, G. W. and Jones, S. B.},
title = 	{Transforming {P}rograms to {E}liminate {I}ntermediate
		  {S}tructures}, 
pages = 	{182--188},
crossref = 	{WSA91},
}

@InProceedings{ameur:WSA91,
author = 	{A{\"\i}t Ameur, Y.},
title = 	{Non {F}unctional {P}roperties {C}an {G}uide {P}rogram
		  {D}evelopments}, 
pages = 	{189--196},
crossref = 	{WSA91},
}

@InProceedings{shivers:WSA91,
author = 	{Shivers, O.},
title = 	{Useless--{V}ariable {E}limination},
pages = 	{197--201},
crossref = 	{WSA91},
}

@InProceedings{breuer:WSA91,
author = 	{Breuer, P. T.},
title = 	{An {A}nalysis/{S}ynthesis {L}anguage with {L}earning
		  {S}trategies}, 
pages = 	{202--209},
crossref = 	{WSA91},
}

@InProceedings{imbert:WSA91,
author = 	{Imbert, J.-L. and Van~Hentenryck, P.},
title = 	{A propos des redondances dans les syst{\`e}mes
		  d'in{\'e}quations lin{\'e}aires}, 
pages = 	{210--216},
crossref = 	{WSA91},
}

@InProceedings{griffiths:WSA91,
author = 	{Griffiths, M. and Massotte, P. and Paul, C.},
title = 	{Analyse et transformation de programmes {P}rolog en
		  vue de leur parall{\'e}lisation avec les
		  pr{\'e}dicats {\em parand\/} et {\em paror\/}}, 
pages = 	{217--224},
crossref = 	{WSA91},
}

@InProceedings{goudal:WSA91,
author = 	{Goudal, F.},
title = 	{Une repr{\'e}sentation abstraite des expressions et
		  continuations en {S}cheme}, 
pages = 	{225--233},
crossref = 	{WSA91},
}

@InProceedings{malmkjaer:WSA91,
author = 	{Malmkj{\ae}r, K.},
title = 	{On {S}tatic {P}roperties of {S}pecialized {P}rograms},
pages = 	{234--241},
crossref = 	{WSA91},
}


% CROSSREFERENCES
% These must remain at the end of this file.

@proceedings{WSA91,
title="Actes JTASPEFL'91 (Bordeaux)",
booktitle="Actes JTASPEFL'91 (Bordeaux)",
month=oct,
year=1991,
editor=wsa,
series="Bigre",
volume=74,
publisher="Atelier Irisa, IRISA Campus de Beaulieu",
address=labri
crossrefonly=1,
}