GLORIA

GEOMAR Library Ocean Research Information Access

X

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
back to result list
  • 1
    Online Resource
    Online Resource
    On a formal model of the tasking concept in Ada
    Association for Computing Machinery (ACM) ; 1980
    In:  ACM SIGPLAN Notices Vol. 15, No. 11 ( 1980-11), p. 213-222
    Details
    In: ACM SIGPLAN Notices, Association for Computing Machinery (ACM), Vol. 15, No. 11 ( 1980-11), p. 213-222
    Abstract: This paper describes the August 1980 state of the development of a formal model of the Ada tasking concept. The model is being developed at the Department of Computer Science, Technical university of Denmark in collaboration with the Danish Datamatics Centre as part of a full Ada compiler development project summarized below. The paper includes a short characterization of the (present) tasking concepts in Ada on which the model is based. The model description is rather informal to let you have a idea about the modelling principles. In appendix A a detailed example is given, unfolding the course of a rendezvous. The paper ends with a sketch of how an implementation can be systematically derived from the formal model.
    Type of Medium: Online Resource
    ISSN: 0362-1340 , 1558-1160
    URL: Article
    DOI: 10.1145/947783.948662
    Language: English
    Publisher: Association for Computing Machinery (ACM)
    Publication Date: 1980
    detail.hit.zdb_id: 2079194-X
    detail.hit.zdb_id: 282422-X
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...