We present a new static analysis method for first-class continuations that uses an effect system to classify the control domain behavior of expressions in a typed polymorphic language. We introduce two new control effects, goto and comefrom, that describe the control flow properties of expressions. An expression that does not haveagoto effect is said to be continuation following because it will always call its passed return continuation. An expression that does not haveacomefrom effect is said to be continuation discarding because it will never preserve its return continuation for later use. Unobservable control effects can be masked by the effect system. Control effect soundness theorems guarantee that the effects computed statically by the effect system are a conservative approximation of the dynamic behavior of an expression. The effect

ogy (MIT), le Professeur David K. Gifford, mon co-locataire de bureau transatlantique Mark A. Sheldon, Jim O'Toole, Franklyn Turbak, Michael "Ziggy" Blair, John Lucassen et Brian Reistad. ffl Au Laboratoire de Recherche en Informatique (LRI) de Paris XI, les Professeurs Jean-Pierre Jouannaud qui m'a invit'e `a pr'esenter ma th`ese d'habilitation `a Paris XI et Jean-Pierre Sansonnet. ffl Au Centre de Recherche Bull, mon co-auteur "industriel" Babak Dehbonei, G'erard Memmi et Nadia Tawbi. ffl A l'Etablissement Technique Central de l'Armement (ETCA), Serge Petiton et Philippe Clermont, maintenant `a HyParTech. ffl Au Programme de Recherches Coordonn'ees C3, Patrice Quinton, pour son financement. ffl A la Direction Recherche Et Technique (DRET), Philippe Sarrazin. De plus, Fran¸cois Irigoin, Corinne Ancourt, Philippe Bazet, Fran¸cois Masdupuy, et Babak Dehbonei ont particip'e `a la relecture de ce manuscr

pour obtenir le dipl^ome d'Habilitation a Diriger des Recherches en Sciences de l'Universite de Paris XI. Pour completement apprecier le contenu de ces recherches, le lecteur pourra se reporter avec pro t au texte complet des articles donnes en annexe. 1 Remerciements L'ensemble de ces travaux n'aurait pu ^etre ce qu'il est sans le concours de nombreux chercheurs et amis qu'il m'est un plaisir de remercier ici: Au Centre de Recherche en Informatique (CRI) de l'Ecole des Mines de Paris, mon colocataire