Refined C
Also known as RC
An extension of C to directly specify data access rights so that flow analysis, and hence automatic parallelization, is more effective. Research implementations only.
"Refining A Conventional Language For Race-Free Specification Of Parallel Algorithms," H. G. Dietz et al, Proceedings of the 1984 International Conference on Parallel Processing, pp.380-382.