Paper Details

@InProceedings{Barrett90,
  title = "{T}he {D}evelopment of occam: types, classes and sharing",
  author= "Barrett, Geoff",
  editor= "Zedan, Hussein S. M.",
  pages = "119--147",
  booktitle= "{OUG}-13: {R}eal-{T}ime {S}ystems with {T}ransputers",
  isbn= "90 5199 041 3",
  year= "1990",
  month= "sep",
  abstract= "The proposed extensions to the occam* language are aimed at
     providing • a more comprehensive type system• support for
     a modular programming style• a facility for sharing between
     processes.The type system is similar to that of many modern
     programming languages but with a careful treatment of union
     types and without recursive types.Although it is possible to
     describe shared objects in occam2, the required idiom has an
     implementation whose complexity is linear in the number of
     users. By introducing a special sort of shared bus of
     channels, this problem can be overcome.The class system is
     designed in such a way as to allow for separate compilation
     and alien code classes to be used in occam programs with
     little overhead and to provide some of the abstraction
     mechanisms which have been recognised as beneficial in
     object-oriented languages.There are also a number of new
     language features which do not significantly change the
     nature of the language but which do enhance its general
     expressiveness.The first part of this paper presents
     proposed changes to the occam2 reference manual ([1]). The
     second part is a commentary on the decisions which had to be
     made in order to produce the proposal. The section numbers
     of the manual changes correspond to the section numbers of
     the occam2 reference manual where a ' denotes a change to an
     existing section and a letter denotes the insertion of a new
     section."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.