Work

Interprocedural Shape Analysis for Recursive Programs

Year: 2001

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

DOI: 10.1007/3-540-45306-7_10

Authors: Noam Rinetzky, Mooly Sagiv

Institutions: Technion – Israel Institute of Technology, Tel Aviv University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1483359125

FWCI: 3.346

Cites: 22

Cited by: 70

Related to: 10