Work

Modular Shape Analysis for Dynamically Encapsulated Programs

Year: 2007

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-71316-6_16

Authors: N. Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, M. Sagiv, E. Yahav

Institutions: Tel Aviv University, University of Kaiserslautern, Microsoft Research (India), IBM Research - Thomas J. Watson Research Center

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2149286246

FWCI: 1.362

Cites: 47

Cited by: 19

Related to: 10