Work

Type and Effect Annotations for Safe Memory Access in C

Year: 2008

Type: conference-paper

Source: International Conference on Availability, Reliability and Security (ARES)

DOI: 10.1109/ares.2008.18

Authors: Syrine Tlili, Mourad Debbabi

Institution: Concordia University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2115261982

FWCI: 0.355

Cites: 16

Cited by: 3

Related to: 10