![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.