default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
