Searching for "Static prediction of heap space usage for first-order functional programs." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Static Prediction of Heap Space Usage for First-Order Functional Programs
- …Static Prediction of Heap Space Usage for First-Order Functional Programs (Extended Version…
- Cited by 62 (11 self) – Add To MetaCart
-
lfd_infer: an Implementation of a Static Inference on Heap Space Usage
- …@(email omitted); We will exhibit an implementation of the static prediction of heap space usage for first-order…
- Cited by 4 (0 self) – Add To MetaCart
-
lfd infer: an Implementation of a Static Inference on Heap Space Usage
- … of the static prediction of heap space usage for first-order functional programs proposed by Hofmann and Jost…
- Add To MetaCart
Showing 1 through 3.
