Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: the Hume Approach (2005)

Cached

Download Links

by Kevin Hammond
Venue:In Central European Summer School on Functional Programming
Citations:6 - 5 self

Documents Related by Co-Citation

71 Hume: A Domain-Specific Language for Real-Time Embedded Systems – Kevin Hammond, Greg Michaelson - 2003
8 Cost Inference and Analysis for Recursive Functional Programs – P B Vasconcelos - 2006
5 Bounded Space Programming using Finite State Machines and Recursive Functions: the Hume Approach – K Hammond, G Michaelson - 2006
23 Type-Based Amortised Heap-Space Analysis – Martin Hofmann, Steffen Jost - 2006
130 Static Prediction of Heap Space Usage for First-order Functional Programs – Martin Hofmann, Steffen Jost - 2003
138 Amortized computational complexity – R E Tarjan - 1985
8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
226 Functional Data Structures – Chris Okasaki - 1996
21 Computing the worst case execution time of an avionics program by abstract interpretation – Jean Souyris, Erwan Le Pavec, Guillaume Himbert, Victor Jégu, Guillaume Borios - 2005
86 Wcet analysis of probabilistic hard real-time systems – Guillem Bernat, Antoine Colin, Stefan M. Pettersreal-time - 2002
7 Worst-Case Execution Times for a Purely Functional Language – Armelle Bonenfant, Christian Ferdin, Kevin Hammond, Reinhold Heckmann - 2007
546 Kernel-Based Object Tracking – Dorin Comaniciu, Visvanathan Ramesh, Peter Meer - 2003
100 Reliable and Precise WCET Determination for a Real-Life Processor – Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm - 2001
14 Predictable Space Behaviour in FSM-Hume – Kevin Hammond, Greg Michaelson - 2003
11 Inferring Costs for Recursive, Polymorphic and Higher-Order Functional Programs – P B Vasconcelos, K Hammond - 2003
116 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
120 Proving the correctness of reactive systems using sized types – John Hughes, Lars Pareto, Amr Sabry - 1996
42 Compiling Lazy Functional Languages, Part II – L Augustsson - 1987
6 Behavioural synthesis of a parallel hardware jpeg decoder from a functitonal specification – J Hawkins, A Abdallah - 2002