On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology

First Page		Document Content
Date: 2013-09-22 04:04:19 Network flow Matroid theory Control flow graph Graph Depth-first search Static single assignment form Connected component Connectivity Tree Graph theory Mathematics Compiler construction		On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology Add to Reading List Source URL: www.cse.ust.hk Download Document from Source Website File Size: 644,74 KB Share Document on Facebook

	Source-side Preordering for Translation using Logistic Regression and Depth-first Branch-and-Bound Search∗ Laura Jehl? ? Adri`a de Gispert‡ DocID: 1uXFc - View Document
	Structuring Depth-First Search Algorithms in Haskell David J. King John Launchbury Department of Computing Science DocID: 1uNEx - View Document
	A Work-Efficient Algorithm for Parallel Unordered Depth-First Search Umut A. Acar Arthur Charguéraud DocID: 1ueLR - View Document
	A Work-Efficient Algorithm for Parallel Unordered Depth-First Search Umut A. Acar Arthur Charguéraud DocID: 1tFfm - View Document
	Selective Depth-First Search Methods Yngvi Bj¨ ornsson and Tony Marsland Department of Computing Science University of Alberta Edmonton, Alberta DocID: 1tFcX - View Document