Control-flow analysis of function calls and returns by abstract interpretation

Jan Midtgaard*, Thomas P. Jensen

*Kontaktforfatter for dette arbejde

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fingeraftryk Dyk ned i forskningsemnerne om 'Control-flow analysis of function calls and returns by abstract interpretation'. Sammen danner de et unikt fingeraftryk.

Matematik

Teknik og materialevidenskab