@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{danvy:WSA92,
author = 	{Danvy, O. and Hatcliff, D.},
title = 	{Thunks ({C}ontinued)},
pages = 	{3--11},
crossref = 	{WSA92},
}

@InProceedings{hankin:WSA92,
author = 	{Hankin, C. and Le~Metayer, D. and Sands, D.},
title = 	{Transformation of {G}amma {P}rograms},
pages = 	{12--19},
crossref = 	{WSA92},
}

@InProceedings{queinnec:WSA92a,
author = 	{Queinnec, C.},
title = 	{Value {T}ransforming {S}tyle},
pages = 	{20--28},
crossref = 	{WSA92},
}

@InProceedings{mesnard:WSA92,
author = 	{Mesnard, F. and Morillon, M.},
title = 	{Automatic {G}eneration of {V}alid {L}inear {M}easures
		  for {CLP(Q)} {P}rograms}, 
pages = 	{29--34},
crossref = 	{WSA92},
}

@InProceedings{mike:WSA92,
author = 	{Codish, M. and Falaschi, M. and Marriott, K. and
		  Winsborough, W.}, 
title = 	{Efficient {A}nalysis of {R}eactive {P}roperties of
		  {C}oncurrent {C}onstraint {L}ogic {P}rograms}, 
pages = 	{35--42},
crossref = 	{WSA92},
}

@InProceedings{bagnara:WSA92,
author = 	{Bagnara, R. and Giacobazzi, R. and Levi, G.},
title = 	{Static {A}nalysis of {CLP} {P}rograms over {N}umeric
		  {D}omains}, 
pages = 	{43--50},
crossref = 	{WSA92},
}

@InProceedings{mmc:WSA92,
author = 	{Corsini, M.-M. and Musumbu, K. and Rauzy, A.},
title = 	{The {$\mu$}--{C}alculus over {F}inite {D}omains as an
		  {A}bstract {S}emantics of {P}rolog}, 
pages = 	{51--59},
crossref = 	{WSA92},
}

@InProceedings{mycroft:WSA92,
author = 	{Mycroft, A. and Rosendhal, M.},
title = 	{Minimal {F}unction {G}raphs are not {I}nstrumented},
pages = 	{60--67},
crossref = 	{WSA92},
}

@InProceedings{hamilton:WSA92,
author = 	{Hamilton, G. W.},
title = 	{Sharing {A}nalysis of {L}azy {F}irst--{O}rder
		  {F}unctional {P}rograms}, 
pages = 	{68--78},
crossref = 	{WSA92},
}

@InProceedings{serpette:WSA92,
author = 	{Serpette, B. P.},
title = 	{Approximations d'{\'e}valuateurs fonctionnels},
pages = 	{79--90},
crossref = 	{WSA92},
}

@InProceedings{park:WSA92,
author = 	{Park, Y. and Goldberg, B.},
title = 	{Order--of--{D}emand {A}nalysis for {L}azy {L}anguages},
pages = 	{91--101},
crossref = 	{WSA92},
}

@InProceedings{saintjames:WSA92,
author = 	{Saint--James, E.},
title = 	{Partial {E}valuation in an {I}ndustrial {C}ontext:
		  {C}ompiling for {E}ndomorphic {M}achines}, 
pages = 	{102--108},
crossref = 	{WSA92},
}

@InProceedings{queinnec:WSA92b,
author = 	{Queinnec, C. and Geffroy, P.},
title = 	{Partial {E}valuation applied to {S}ymbolic {P}attern
		  {M}atching with {I}ntelligent {B}acktrack}, 
pages = 	{109--117},
crossref = 	{WSA92},
}

@InProceedings{maria:WSA92,
author = 	{Garc{\'\i}a de la Banda, M. J. and Hermenegildo, M.},
title = 	{A {P}ractical {A}pplication of {S}haring and
		  {F}reeness {I}nference}, 
pages = 	{118--125},
crossref = 	{WSA92},
}

@InProceedings{ayers:WSA92,
author = 	{Ayers, A. E.},
title = 	{Efficient {C}losure {A}nalysis with {R}eachability},
pages = 	{126--134},
crossref = 	{WSA92},
}

@InProceedings{tadashi:WSA92,
author = 	{Tadashi Araragi},
title = 	{Program {T}ransformation in a {N}onmonotonic
		  {R}easoning {S}ystem}, 
pages = 	{135--143},
crossref = 	{WSA92},
}

@InProceedings{jensen:WSA92,
author = 	{Jensen, T. P.},
title = 	{Axiomatising {U}niform {P}roperties of {R}ecursive
		  {D}ata {S}tructures}, 
pages = 	{144--151},
crossref = 	{WSA92},
}

@InProceedings{kuiper:WSA92,
author = 	{Kuiper, M.},
title = 	{Speeding {U}p {P}arallelism {D}etection for
		  {A}ttribute {G}rammars}, 
pages = 	{152--162},
crossref = 	{WSA92},
}

@InProceedings{lillois:WSA92a,
author = 	{Devienne, P. and Leb{\`e}gue, P. and Routier, J. C.},
title = 	{Weighted {S}ystems {R}evisited},
pages = 	{163--173},
crossref = 	{WSA92},
}

@InProceedings{amato:WSA92,
author = 	{Amato, G. and Giannotti, F. and Mainetto, G.},
title = 	{Analysis of {C}oncurrent {T}ransactions in a
		  {F}unctional {D}atabase {P}rogramming {L}anguage}, 
pages = 	{174--184},
crossref = 	{WSA92},
}

@InProceedings{giavitto:WSA92,
author = 	{Giavitto, J.-L. and Sansonnet, J.-P. and Michel, O.},
title = 	{Inf{\'e}rer rapidement la g{\'e}om{\'e}trie des collections},
pages = 	{185--193},
crossref = 	{WSA92},
}

@InProceedings{giannotti:WSA92,
author = 	{Giannotti, F. and Latella, D.},
title = 	{Using {A}bstract {I}nterpretation for {G}ate
		  splitting in {LOTOS} {S}pecifications}, 
pages = 	{194--204},
crossref = 	{WSA92},
}

@InProceedings{ameur:WSA92,
author = 	{Ameur, Y. and Cros, P. and Falcon, J.-J. and Gomez, A.},
title = 	{An {A}pplication of {A}bstract {I}nterpretation to
		  {F}loating {P}oint {A}rithmetic}, 
pages = 	{205--212},
crossref = 	{WSA92},
}

@InProceedings{gloess:WSA92,
author = 	{Gloess, P. Y. and Huang, Y.-N. and Li, C. M. and
		  Hernandez, M.-A.}, 
title = 	{On {B}oolean {F}eature {T}ypes},
pages = 	{213--220},
crossref = 	{WSA92},
}

@InProceedings{bakerfinch:WSA92,
author = 	{Baker--Finch, C.},
title = 	{Relevant {L}ogic and {S}trictness {A}nalysis},
pages = 	{221--228},
crossref = 	{WSA92},
}

@InProceedings{baudouin:WSA92,
author = 	{Le~Charlier, B. and Van~Hentenryck, P.},
title = 	{On the {D}esign of {G}eneric {A}bstract
		  {I}nterpretation {F}rameworks}, 
pages = 	{229--246},
crossref = 	{WSA92},
}

@InProceedings{solberg:WSA92,
author = 	{Solberg, K. and Nielson, H. R. and Nielson, F.},
title = 	{Inference {S}ystems for {B}inding {T}ime {A}nalysis},
pages = 	{247--254},
crossref = 	{WSA92},
}

@InProceedings{breuer:WSA92,
author = 	{Breuer, P. and Bowen, J.},
title = 	{Decompilation {\em is\/} the {E}fficient
		  {E}numeration of {T}ypes}, 
pages = 	{255--273},
crossref = 	{WSA92},
}

@InProceedings{monsuez:WSA92,
author = 	{Monsuez, B.},
title = 	{Fractional {T}ypes},
pages = 	{274--284},
crossref = 	{WSA92},
}

@InProceedings{gallagher:WSA92,
author = 	{Gallagher, J.},
title = 	{Static {A}nalysis for {L}ogic {P}rogram {S}pecification},
pages = 	{285--294},
crossref = 	{WSA92},
}

@InProceedings{lillois:WSA92b,
author = 	{Parrain, A. and Devienne, P. and Leb{\`e}gue, P.},
title = 	{Towards {O}ptimization of {F}ull {P}rolog {P}rograms
		  guided by {A}bstract {I}nterpretation}, 
pages = 	{295--303},
crossref = 	{WSA92},
}

@InProceedings{hanus:WSA92,
author = 	{Hanus, M.},
title = 	{An {A}bstract {I}nterpretation {A}lgorithm for
		  {R}esiduating {L}ogic {P}rograms}, 
pages = 	{304--312},
crossref = 	{WSA92},
}

@InProceedings{tang:WSA92,
author = 	{Tang, Y.-M. and Jouvelot, P.},
title = 	{Control--{F}low {E}ffects for {E}scape {A}nalysis},
pages = 	{313--321},
crossref = 	{WSA92},
}

@InProceedings{gengler:WSA92,
author = 	{Gengler, M. and Rytz, M.},
title = 	{A {P}olyvariant {B}inding {T}ime {A}nalysis
		  {H}andling {P}artially {K}nown {V}alues}, 
pages = 	{322--330},
crossref = 	{WSA92},
}

@InProceedings{bechet:WSA92,
author = 	{Bechet, D.},
title = 	{Partial {E}valuation of {I}nteraction {N}ets},
pages = 	{331--338},
crossref = 	{WSA92},
}

%%%% CROSSREF MUST REMAIN THERE %%%%

@proceedings{WSA92,
title= "Actes WSA'92 Workshop on Static Analysis (Bordeaux)",
booktitle= "Actes WSA'92 Workshop on Static Analysis (Bordeaux)",
month=sep,
year=1992,
editor=wsa,
series="Bigre",
volume="81--82",
publisher="Atelier Irisa, IRISA, Campus de Beaulieu",
address=labri,
crossrefonly=1,
}