Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots

First Page		Document Content
Date: 2005-03-29 03:01:53 Computing 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 Avots Add to Reading List Source URL: suif.stanford.edu Download Document from Source Website File Size: 148,05 KB Share Document on Facebook

	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c DocID: 1qUeK - View Document
	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots DocID: 1qtLT - View Document
	A Study on Development of a Deductive Object-Oriented Database and Its Application to Genome Analysis Susumu GOTO DocID: 1k4di - View Document
	Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand DocID: 1gBGm - View Document