Theoretical Computer Science, Volume 277

Volume 277, Number 1-2, April 2002

• Pascal Van Hentenryck:
  Editorial - SAS'97. 1-2
  
• Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
  Set-sharing is redundant for pair-sharing. 3-46
  
• Patrick Cousot:
  Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. 47-103
  
• Alexandre Frey:
  Satisfying subtype inequalities in polynomial space. 105-117
  
• G. Ramalingam:
  On sparse evaluation representations. 119-147
  
• Francesca Scozzari:
  Logical optimality of groundness analysis. 149-184
  
• Kwangkeun Yi, Sukyoung Ryu:
  A cost-effective estimation of uncaught exceptions in Standard ML programs. 185-217