Work

A Value Analysis for C Programs

Year: 2009

Type: conference-paper

Source: IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)

DOI: 10.1109/scam.2009.22

Authors: Géraud Canet, Pascal Cuoq, Benjamin Monate

Institutions: Commissariat à l'Énergie Atomique et aux Énergies Alternatives, Laboratoire d'Intégration des Systèmes et des Technologies, CEA Paris-Saclay

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2112472122

FWCI: 3.583

Cites: 2

Cited by: 73

Related to: 10