Complementation in abstract interpretation

doi:10.1145/239912.239914

Complementation in abstract interpretation

Full Text:

Pdf

Buy this Article

Authors:	Agostino Cortesi	Univ. di Venezia, Venice, Italy
	Gilberto Filé	Univ. di Padova, Padua, Italy
	Francesco Ranzato	Univ. di Padova, Padua, Italy
	Roberto Giacobazzi	Univ. di Pisa, Pisa, Italy
	Catuscia Palamidessi	Univ. di Genova, Genoa, Italy

	1997 Article
Bibliometrics
· Downloads (6 Weeks): 3 · Downloads (12 Months): 18 · Downloads (cumulative): 368 · Citation Count: 22

Published in:

· Journal

ACM Transactions on Programming Languages and Systems (TOPLAS) TOPLAS Homepage archive

Volume 19 Issue 1, Jan. 1997
Pages 7 - 47
ACM New York, NY, USA
table of contents doi>10.1145/239912.239914

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Share:

|

Tags: abstract domain abstract interpretation closure operator complementation functional and logic programming languages logics of programs program analysis semantics theory verification

Feedback | Switch to single page view (no tabs)

**Javascript is not enabled and is required for the "tabbed view" or switch to the single page view**

Powered by

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder