Luc SémériaKoichi SatoGiovanni De MicheliResolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C.312-3192000conf/date/2000DATEhttps://doi.org/10.1109/DATE.2000.840289https://doi.ieeecomputersociety.org/10.1109/DATE.2000.840289https://doi.org/10.1145/343647.343788db/conf/date/date2000.html#SemeriaSM00