A multi-processing implementation-oriented formal definition of Ada in SEMANOL

Frank C. Belz, Edward K. Blum, Dennis Heimbigner. A multi-processing implementation-oriented formal definition of Ada in SEMANOL. In Paul W. Abrahams, editor, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, SIGPLAN 1980, Boston, Massachusetts, USA, December 9, 1980. pages 202-212, ACM, 1980. [doi]

Authors

Frank C. Belz

This author has not been identified. Look up 'Frank C. Belz' in Google

Edward K. Blum

This author has not been identified. Look up 'Edward K. Blum' in Google

Dennis Heimbigner

This author has not been identified. Look up 'Dennis Heimbigner' in Google