First Page | Document Content | |
---|---|---|
Date: 2005-03-29 03:01:53Computing Software engineering Data management Database management systems Query languages Datalog Binary decision diagram Monica S. Lam Deductive database Relational algebra Logic programming Database | Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars AvotsAdd to Reading ListSource URL: suif.stanford.eduDownload Document from Source WebsiteFile Size: 148,05 KBShare Document on Facebook |