• DocumentCode
    1743380
  • Title

    Hume: a bounded time concurrent language

  • Author

    Hammond, Kevin

  • Author_Institution
    St. Andrews Univ., UK
  • Volume
    1
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    407
  • Abstract
    This paper gives a formal description of Hume, a novel functionally-based concurrent language that aims to target space- and time-critical systems. The language supports rigorous cost and space analyses, whilst providing a high level of abstraction including polymorphic type inference, automatic memory management, and higher-order functions. It is designed around a formal dynamic semantics, integrated with a simple static time analysis
  • Keywords
    functional languages; programming language semantics; Hume expression layer; Hume language; automatic memory management; bounded time concurrent language; coordination layer; cost axioms; formal dynamic semantics; functionally-based concurrent language; high level of abstraction; higher-order functions; polymorphic type inference; rigorous cost and space analyses; space-critical systems; static time analysis; time-critical systems; Arithmetic; Cost function; Memory management; Programming profession; Reactive power; Safety; System recovery; Time factors; Wire;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Electronics, Circuits and Systems, 2000. ICECS 2000. The 7th IEEE International Conference on
  • Conference_Location
    Jounieh
  • Print_ISBN
    0-7803-6542-9
  • Type

    conf

  • DOI
    10.1109/ICECS.2000.911567
  • Filename
    911567
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1743380