A protection mechanism which may be embedded 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 concurrent programs; in fact it allows the detection at compile time of a large class of time dependent errors. To 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.
Protection in languages for real time programming
1978
Abstract
A protection mechanism which may be embedded 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 concurrent programs; in fact it allows the detection at compile time of a large class of time dependent errors. To 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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_422218-doc_150088.pdf
solo utenti autorizzati
Descrizione: Protection in language for real time programming
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.02 MB
Formato
Adobe PDF
|
1.02 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
