SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C

Saved in:
Bibliographic Details
Main Authors: Séméria, Luc, De Micheli, Giovanni
Format: Conference Proceeding
Language:English
Subjects:
Hardware > Electronic design automation > Hardware description languages and compilation
Hardware > Robustness
Mathematics of computing > Mathematical software
Software and its engineering > Software notations and tools > General programming languages > Language types
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
DOI:10.1145/288548.289051