High-integrity PEARL(ID:7879/)
PEARL 90 with extra checks and safeguards
Related languages
PEARL 90 |
=> |
High-integrity PEARL | |
Augmentation of |
References:
Stoyenko, A. D. and Halang, W. A. "High-integrity pearl: A language for industrial real-time applications" IEEE Software, 10(4):65--74, July 1993 view details
|