Work

Context-sensitive program analysis as database queries

Year: 2005

Type: conference-paper

Source: ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS)

DOI: 10.1145/1065167.1065169

Authors: Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel

Institution: Stanford University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2158047578

FWCI: 8.508

Cites: 60

Cited by: 184

Related to: 10