Skip to main content
SpringerLink
Log in

The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour

  • Conference paper
  • First Online:
Book cover Implementation of Functional Languages (IFL 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2011))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Blair, L. Blair, H. Bowman and A. Chetwynd, Formal Specification of Distributed Multimedia Systems, UCL Press, 1998.

    Google Scholar 

  2. R. Burstall,“Inductively De.ned Functions in Functional Programming Languages ”, Dept. of Comp. Sci., Univ. of Edinburgh, ECS-LFCS-87-25, April, 1987.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. K. Hammond,“Hume:a Bounded Time Concurrent Language ”, Proc.IEEE Conf. on Electronics and Control Systems (ICECS’ 2K), Kaslik, Lebanon, Dec.2000.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. N.G. Leveson, Safeware:System Safety and Computers, Addison-Wesley, 1995.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Article  MATH  MathSciNet  Google Scholar 

  13. A.J.R.G. Milner, M. Tofte, R. Harper, and D. MacQueen, The Definition of Standard ML (Revised), MIT Press, 1997.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. D. Sands,“Complexity Analysis for a Lazy Higher-Order Language ”, Proc. 1990 European Symp. on Prog. (ESOP’ 90), Springer-Verlag LNCS 432, May 1990.

    Google Scholar 

  16. D.B. Skillicorn,“Deriving Parallel Programs from Specifications using Cost Information ”, Science of Computer Programming, 20 (3), June 1993.

    Google Scholar 

  17. M. Tofte and J.-P. Talpin,“Region-based Memory Management ”, Information and Control, 132 (2), 1997, pp.109–176.

    MATH  MathSciNet  Google Scholar 

  18. D.A. Turner,“Elementary Strong Functional Programming ”, Proc. Symp. on Funct.Prog.Langs.in Education.FPLE’ 95, Springer-Verlag LNCS No.1022, Dec.1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, University of St Andrews, St Andrew

    Kevin Hammond

Authors
  1. Kevin Hammond
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Lehrstuhl für Informatik II, RWTH Aachen, Ahornstr. 55, 52056, Aachen, Germany

    Markus Mohnen

  2. KUN Nijmegen, Toernooiveld 1, 6525, ED Nijmegen, The Netherlands

    Pieter Koopman

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation