Theoretical Computer Science
, Volume 277
Volume 277, Number 1-2, April 2002
Static Analysis, Paris, September 1997
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
Last update Mon May 20 04:02:57 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page