Widening operators for powerset domains

Author： Bagnara Roberto   Hill Patricia   Zaffanella Enea  

Publisher： Springer Publishing Company

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.8, Iss.4-5, 2006-08, pp. : 449-466

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

The powerset operator on abstract interpretations

By File G.   Ranzato F.  

Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. : 77-111

Elsevier

Access to resources Recommend Favorite

Widening with thresholds via binary search

By  

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 46, Iss. 10, 2016-10 ,pp. : 1317-1328

John Wiley & Sons Inc

Access to resources Recommend Favorite

Domains in H

By Fiore M.P.   Rosolini G.  

Theoretical Computer Science, Vol. 264, Iss. 2, 2001-08 ,pp. : 171-193

Elsevier

Access to resources Recommend Favorite

Dot operators

By Borchert B.   Silvestri R.  

Theoretical Computer Science, Vol. 262, Iss. 1, 2001-07 ,pp. : 501-523

Elsevier

Access to resources Recommend Favorite

Power-efficient VLIW design using clustering and widening

By Pericas Miquel   Ayguade Eduard   Zalamea Javier   Llosa Josep   Valero Mateo  

International Journal of Embedded Systems, Vol. 3, Iss. 3, 2008-09 ,pp. : 141-149

Inderscience Publishers

Access to resources Recommend Favorite