• DocumentCode
    920431
  • Title

    Ada package specifications: path expressions and monitors

  • Author

    Goldsack, S.J. ; Moreton, T.

  • Author_Institution
    University of London, Department of Computing, Imperial College of Science and Technology, London, UK
  • Volume
    129
  • Issue
    2
  • fYear
    1982
  • fDate
    3/1/1982 12:00:00 AM
  • Firstpage
    49
  • Lastpage
    54
  • Abstract
    The paper describes how path expressions can be introduced in an Ada package specification to define the permitted interleavings between calls on the functions and procedures in the visible part of the package. A preprocessor is described which synthesises the internal task and entry calls required to enforce the specified protocols.
  • Keywords
    Ada; program processors; Ada package specification; interleavings; path expressions; preprocessor;
  • fLanguage
    English
  • Journal_Title
    Computers and Digital Techniques, IEE Proceedings E
  • Publisher
    iet
  • ISSN
    0143-7062
  • Type

    jour

  • DOI
    10.1049/ip-e.1982.0011
  • Filename
    4645238
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=920431