Istituto di Scienza e Tecnologie dell'Informazione     
Ancilotti P., Boari M., Lijtmaer N. Protection in languages for real time programming. Internal note IEI-B78-01, 1978.
A protection mechanism which may be embebbed in an object oriented language for real time programming permitting definition of abstract data types, is proposed in this paper. This mechanism provides support for designing highly reliable e concurrent programs; in fact it allows the detection at compile time of a large class of time errors. Ta verify the versatility of the proposed mechanism it is firstly characterized abstractly in terms of a protection model; then some linguistic features enforcing protection are defined.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional