Static analysis in datalog extensions

doi:10.1145/502102.502104

Static analysis in datalog extensions

Full Text:

PDF

Buy this Article

Authors:	Alon Y. Halevy	University of Washington, Seattle, Washington
	Inderpal Singh Mumick	Kirusa, Inc., Berkeley Heights, New Jersey
	Yehoshua Sagiv	Hebrew University, Jerusalem, Israel
	Oded Shmueli	Technion---Israel Institute of Technology, Haifa, Israel

	2001 Article
Bibliometrics
· Downloads (6 Weeks): 2 · Downloads (12 Months): 24 · Downloads (cumulative): 644 · Citation Count: 22

Published in:

· Journal

Journal of the ACM (JACM) JACM Homepage archive

Volume 48 Issue 5, September 2001
Pages 971-1012
ACM New York, NY, USA
table of contents doi>10.1145/502102.502104

Tools and Resources

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

Share:

|

Tags: abstract interpretation algorithms datalog languages query containment query satisfiability specifying and verifying and reasoning about programs 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