Work

Program analysis for compiler validation

Year: 2008

Type: conference-paper

Source: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)

DOI: 10.1145/1512475.1512477

Authors: Anna Zaks, Amir Pnueli

Institution: New York University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Division of Computer and Network Systems

Award: G6716659259

OpenAlex ID: W2049134225

FWCI: 0.178

Cites: 17

Cited by: 8

Related to: 10