Theoretical Computer Science, Volume 277

Volume 277, Number 1-2, April 2002

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