Search the dblp DataBase

Publications of Author

1. Martin Hofmann, Steffen Jost
   Type-Based Amortised Heap-Space Analysis. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:22-37 [Conf]
   
2. Martin Hofmann, Steffen Jost
   Static prediction of heap space usage for first-order functional programs. [Citation Graph (0, 0)][DBLP]
   POPL, 2003, pp:185-197 [Conf]
   
3. Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
   The Embounded project (project start paper). [Citation Graph (0, 0)][DBLP]
   Trends in Functional Programming, 2005, pp:195-210 [Conf]
   
4. 
   "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. [Citation Graph (, )][DBLP]
   
   
5. 
   Static determination of quantitative resource usage for higher-order programs. [Citation Graph (, )][DBLP]
   
   
6. 
   Automatic Amortised Worst-Case Execution Time Analysis. [Citation Graph (, )][DBLP]
   
   
7. 
   Towards Formally Verifiable WCET Analysis for a Functional Programming Language. [Citation Graph (, )][DBLP]