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

	Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami University of Birmingham (UK) DocID: 1uWtO - View Document
	CALL FOR PAPERS DATALOG 2.0 THE 2nd INTERNATIONAL WORKSHOP ON THE RESURGENCE OF DATALOG IN ACADEMIA AND INDUSTRY September 11-13, 2012, Vienna, Austria http://www.dbai.tuwien.ac.at/datalog2.0 DocID: 1uCru - View Document
	Combined Tractability of Query Evaluation via Tree Automata and Cycluits Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart Problem Evaluate Datalog queries tractably in parameterized combined complexity DocID: 1unuC - View Document
	Exercise 1 Datalog and Network Reliability Program Analysis for System Security and Reliability 2018 ETH Zurich February 27, 2018 DocID: 1ugls - View Document
	1 Toward Parallel CFA with Datalog, MPI, and CUDA THOMAS GILRAY, University of Maryland SIDHARTH KUMAR, University of Utah We present our recent experience working to design parallel functional control-flow analysis (CF DocID: 1u2XE - View Document