The design of hume: A high-level language for the real-time embedded systems domain

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3016, Issue , 2004, Pages 127-142

  Hammond, Kevin ^a   Michaelson, Greg ^b  

^a UNIVERSITY OF ST ANDREWS   (United Kingdom)

^b HERIOT WATT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; INFORMATION MANAGEMENT; PROBLEM ORIENTED LANGUAGES;

AUTOMATIC MEMORY MANAGEMENT; DOMAIN SPECIFIC LANGUAGES; EXCEPTION HANDLING; HIGH-LEVEL FEATURES; HIGHER ORDER FUNCTIONS; POLYMORPHIC TYPES; REAL-TIME EMBEDDED SYSTEMS; USER-DEFINED DATA STRUCTURE;

REAL TIME SYSTEMS;

EID: 44649095306     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25935-0_8     Document Type: Conference Paper

References (35)

1. P. Amey, "Correctness by Construction: Better can also be Cheaper", CrossTalk: the Journal of Defense Software Engineering, March 2002, pp. 24-28.
2. J. Armstrong, S.R. Virding, and M.C. Williams, Concurrent Programming in Erlang, Prentice-Hall, 1993.
3. M. Barabanov, A Linux-based Real-Time Operating System, M.S. Thesis, Dept. of Comp. Sci., New Mexico Institute of Mining and Technology, June 1997.
4. J. Barnes, High Integrity Ada: the Spark Approach, Addison-Wesley, 1997.
5. A. Benveniste and P.L. Guernic, "Synchronous Programming with Events and Relations: the Signal Language and its Semantics", Science of Computer Programming, 16, 1991, pp. 103-149.
6. G. Berry. "The Foundations of Esterel", In Proof, Language, and Interaction. MIT Press, 2000.
7. G. Bollela et al. The Real-Time Specification for Java, Addison-Wesley, 2000.
8. P. Caspi and M. Pouzet. "Synchronous Kahn Networks", SIGPLAN Notices 31(6):226-238, 1996.
9. M. Chakravarty (ed.), S.O. Finne, F. Henderson, M. Kowalczyk, D. Leijen, S. Marlow, E. Meijer, S. Panne, S.L. Peyton Jones, A. Reid, M. Wallace and M. Weber, "The Haskell 98 Foreign Function Interface 1.0", http://www.cse.unsw.edu.au/~chak/haskell/ffi, December, 2003.
10. J. Corbet and A. Rubini, "Linux Device Drivers", 2nd Edition, O’Reilly, 2001.
11. The Ganssle Group. Perfecting the Art of Building Embedded Systems. http://www.ganssle.com, May 2003.
12. N. Halbwachs, D. Pilaud and F. Ouabdesselam, "Specificying, Programming and Verifying Real-Time Systems using a Synchronous Declarative Language", in Automatic Verification Methods for Finite State Systems, J. Sifakis (ed.), Springer-Verlag, 1990, pp. 213-231.
13. K. Hammond. "An Abstract Machine Implementation for Embedded Systems Applications in Hume", Submitted to 2003 Workshop on Implementations of Functional Languages (IFL 2003), Edinburgh, 2003.
14. K. Hammond and G.J. Michaelson "Predictable Space Behaviour in FSM-Hume", Proc. 2002 Intl. Workshop on Impl. Functional Langs. (IFL '02), Madrid, Spain, Springer-Verlag LNCS 2670, 2003.
15. K. Hammond and G.J. Michaelson, "Hume: a Domain-Specific Language for Real-Time Embedded Systems", Proc. Conf. on Generative Programming and Component Engineering (GPCE '03), Springer-Verlag LNCS, 2003.
16. K. Hammond, H.-W. Loidl, A.J. Rebón Portillo and P. Vasconcelos, "A Type-and-Effect System for Determining Time and Space Bounds of Recursive Functional Programs", In Preparation, 2003.
17. D. Harel, "Statecharts: a Visual Formalism for Complex Systems", Science of Computer Programming, 8, 1987, pp. 231-274.
18. M. Hofmann. A Type System for Bounded Space and Functional In-place Update. Nordic Journal of Computing, 7(4):258-289, 2000.
19. M. Hofmann and S. Jost, "Static Prediction of Heap Space Usage for First-Order Functional Programs", Proc. POPL’03-Symposium on Principles of Programming Languages, New Orleans, LA, USA, January 2003. ACM Press.
20. R.J.M. Hughes, L. Pareto, and A. Sabry. "Proving the Correctness of Reactive Systems Using Sized Types", Proc. POPL’96-ACM Symp. on Principles of Programming Languages, St. Petersburg Beach, FL, Jan. 1996.
21. R.J.M. Hughes and L. Pareto, "Recursion and Dynamic Data Structures in Bounded Space: Towards Embedded ML Programming", Proc. 1999 ACM Intl. Conf. on Functional Programming (ICFP '99), Paris, France, pp. 70-81, 1999.
22. S.D. Johnson, Synthesis of Digital Designs from Recursive Equations, MIT Press, 1984, ISBN 0-262-10029-0.
23. J. McDermid, "Engineering Safety-Critical Systems", I. Wand and R. Milner(eds), Computing Tomorrow: Future Research Directions in Computer Science, Cambridge University Press, 1996, pp. 217-245.
24. J.T. O’Donnell, "The Hydra Hardware Description Language", This proc., 2003.
25. S.L. Peyton Jones (ed.), L. Augustsson, B. Boutel, F.W. Burton, J.H. Fasel, A.D. Gordon, K. Hammond, R.J.M. Hughes, P. Hudak, T. Johnsson, M.P. Jones, J.C. Peterson, A. Reid, and P.L. Wadler, Report on the Non-Strict Functional Language, Haskell (Haskell98) Yale University, 1999.
26. S.L. Peyton Jones, A.D. Gordon and S.O. Finne "Concurrent Haskell", Proc. ACM Symp. on Princ. of Prog. Langs., St Petersburg Beach, Fl., Jan. 1996, pp. 295-308.
27. R. Pointon, "A Rate Analysis for Hume", In preparation, Heriot-Watt University, 2004.
28. A.J. Rebón Portillo, Kevin Hammond, H.-W. Loidl and P. Vasconcelos, "Automatic Size and Time Inference", Proc. Intl. Workshop on Impl. of Functional Langs. (IFL 2002), Madrid, Spain, Sept. 2002, Springer-Verlag LNCS 2670, 2003.
29. M. Sakkinen. "The Darker Side of C++ Revisited", Technical Report 1993-I-13, http://www.kcl.ac.uk/kis/support/cit//fortran/cpp/dark-cpl.ps, 1993.
30. T. Sayeed, N. Shaylor and A. Taivalsaari, "Connected, Limited Device Configuration (CLDC) for the J2ME Platform and the K Virtual Machine (KVM)", Proc. JavaOne-Sun’s Worldwide 2000 Java Developers Conf., San Francisco, June 2000.
31. N. Shaylor, "A Just-In-Time Compiler for Memory Constrained Low-Power Devices", Proc. 2nd Usenix Symposium on Java Virtual Machine Research and Technlog (JVM '02), San Francisco, August 2002.
32. E. Schoitsch. "Embedded Systems-Introduction", ERCIM News, 52:10-11, 2003.
33. W. Taha, "Event-Driven FRP", Proc. ACM Symp. on Practical Applications of Declarative Languages (PADL '02), 2002.
34. M. Tofte and J.-P. Talpin, "Region-based Memory Management", Information and Control, 132(2), 1997, pp. 109-176.
35. P. Vasconcelos and K. Hammond. "Inferring Costs for Recursive, Polymorphic and Higher-Order Functional Programs", Submitted to 2003 Workshop on Implementations of Functional Languages (IFL 2003), Edinburgh, 2003.