Work

Error checking with client-driven pointer analysis

Year: 2005

Type: article

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2005.02.005

Authors: Samuel Z. Guyer, Calvin Lin

Institution: The University of Texas at Austin

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Defense Advanced Research Projects Agency

Awards: CAREER: Compilation Techniques for Customizing Software Libraries, RI: Mastodon: A Large-Memory, High-Throughput Simulation Infrastructure, ITR: Dynamic Cooperative Performance Optimization, ITR/SW: Compiler Techniques for Improving Software Quality

OpenAlex ID: W2029674270

FWCI: 2.885

Cites: 51

Cited by: 47

Related to: 10