Abstract
This paper provides a self-contained formal description of the dynamic properties of Hume, a novel functionally-based concurrent language that aims to target space-and time-critical systems such as safetycritical, embedded and real-time systems. The language is designed to support rigorous cost and space analyses, whilst providing a high level of abstraction including polymorphic type inference, automatic memory management, higher-order functions, exception-handling and a good range of primitive types.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Blair, L. Blair, H. Bowman and A. Chetwynd, Formal Specification of Distributed Multimedia Systems, UCL Press, 1998.
R. Burstall,“Inductively De.ned Functions in Functional Programming Languages ”, Dept. of Comp. Sci., Univ. of Edinburgh, ECS-LFCS-87-25, April, 1987.
K. Hammond and G.J. Michaelson, “Hume:a Functionally Inspired Language for Safety-Critical Systems ”, Draft Proc. 2nd Scottish Funct. Prog. Workshop, St Andrews, July 2000.
K. Hammond,“Hume:a Bounded Time Concurrent Language ”, Proc.IEEE Conf. on Electronics and Control Systems (ICECS’ 2K), Kaslik, Lebanon, Dec.2000.
I. Holyer and E. Spiliopoulou,“Concurrent Monadic Interfacing ”, Proc. 10th. Intl. Workshop on Implementation of Functional Programming (IFL’ 98), Springer-Verlag, LNCS 1595, 1998, pp.73–89.
R. 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.
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), 1999.
N.G. Leveson, Safeware:System Safety and Computers, Addison-Wesley, 1995.
H.-W. Loidl, A.J. Rebón Portillo and Kevin Hammond,“A Sized Time System for a Parallel Functional Language (Revised)”, Draft Proc. 2nd Scottish Funct. Prog. Workshop, St Andrews, July 2000.
G.J. Michaelson and K. Hammond,“The Hume Language De.nition and Report, Version 0.0 ”, Heriot-Watt University and University of St Andrews, July 2000.
G.J. Michaelson,“Constraints on Recursion in the Hume Expression Language ”, Draft Proc.International Workshop on Implementation of Functional Programming (IFL 2000), Aachen, Germany, RWTH Fachgruppe Informatik Research Report 00-7, M. Mohnen and P. Koopman (Eds.), Septembe 2000, pp.231–246.
A.J.R.G. Milner, J. Parrow and D. Walker,“A Calculus of Mobile Processes, Parts I and II ”, Information and Computation, 100 (1), 1992, pp.1–77.
A.J.R.G. Milner, M. Tofte, R. Harper, and D. MacQueen, The Definition of Standard ML (Revised), MIT Press, 1997.
B. Reistad and D.K. Gifford.,“Static Dependent Costs for Estimating Execution Time ”, Proc.1994 ACM Conf.on Lisp and Functional Programming, pp. 65–78, Orlando, Fl., June 27-29,June 1994.
D. Sands,“Complexity Analysis for a Lazy Higher-Order Language ”, Proc. 1990 European Symp. on Prog. (ESOP’ 90), Springer-Verlag LNCS 432, May 1990.
D.B. Skillicorn,“Deriving Parallel Programs from Specifications using Cost Information ”, Science of Computer Programming, 20 (3), June 1993.
M. Tofte and J.-P. Talpin,“Region-based Memory Management ”, Information and Control, 132 (2), 1997, pp.109–176.
D.A. Turner,“Elementary Strong Functional Programming ”, Proc. Symp. on Funct.Prog.Langs.in Education.FPLE’ 95, Springer-Verlag LNCS No.1022, Dec.1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hammond, K. (2001). The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. In: Mohnen, M., Koopman, P. (eds) Implementation of Functional Languages. IFL 2000. Lecture Notes in Computer Science, vol 2011. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45361-X_8
Download citation
DOI: https://doi.org/10.1007/3-540-45361-X_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41919-8
Online ISBN: 978-3-540-45361-1
eBook Packages: Springer Book Archive