Work

A Framework for Path Sensitive Program Analysis

Year: 2011

Type: article

Authors: Vijayaraghavan Murali, Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa

Institutions: National University of Singapore, The University of Sydney

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2556221165

FWCI:

Cites: 26

Cited by:

Related to: 10