Searching for authors named "Steffen Jost" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
lfd_infer: an Implementation of a Static Inference on Heap Space Usage
- …ABSTRACT lfd infer: an Implementation of a Static Inference on Heap Space Usage Steffen Jost LMU…
- Cited by 4 (0 self) – Add To MetaCart
-
Type-Based Amortised Heap-Space Analysis
- …Type-based amortised heap-space analysis Martin Hofmann 1 and Steffen Jost 2 1 LMU München…
- Cited by 7 (2 self) – Add To MetaCart
-
Static Prediction of Heap Space Usage for First-Order Functional Programs
- …) Martin Hofmann Steffen Jost LMU M unchen, Institut f ur Informatik Oettingenstrae 67, 80538 M unchen…
- Cited by 62 (11 self) – Add To MetaCart
-
Towards Formally Verifiable WCET Analysis for a Functional Programming Language
- … ∗ Christian Ferdinand † Reinhold Heckmann † Roy Dyckhoff ∗ Martin Hofmann ‡ Steffen Jost ∗ Hans-Wolfgang Loidl…
- Cited by 1 (1 self) – Add To MetaCart
-
Towards formally verifiable resource bounds for real-time embedded systems
- … ∗ Christian Ferdinand † Reinhold Heckmann † Roy Dyckhoff ∗ Martin Hofmann ‡ Steffen Jost ∗ Hans-Wolfgang Loidl…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 5.
