A First-Order Functl. Lang. for Reasoning about Heap Consumption (0)

by R Pena, C Segura
Venue:in Draft Proc. Intl. Workshop on Impl. and Appl. of Functl. Langs. (IFL