Space consumption analysis by abstract interpretation: Reductivity properties

In a previous paper we presented an abstract interpretation-based static analysis for inferring heap and stack memory consumption in a functional language. The language, called Safe, is eager and first-order, and its memory management system is based on heap regions instead of the more conventional...

Celý popis

Podrobná bibliografie

Vydáno v:	Science of computer programming Ročník 111; s. 458 - 482
Hlavní autoři:	Montenegro, Manuel, Peña, Ricardo, Segura, Clara
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.11.2015
Témata:	Abstract interpretation Functional languages Regions Resource analysis Functional languages Resource analysis Abstract interpretation Regions
ISSN:	0167-6423, 1872-7964
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!