The increased presence of parallel computing platforms bringsconcerns to the general purpose domain that were previouslyprevalent only in the specific niche of high-performancecomputing. As parallel programming technologies become moreprevalent in the form of new emerging programming languagesand extensions of existing languages, additional safety concernsarise as part of the paradigm shift from sequential to parallelbehaviour.In this paper, we propose various syntax extensions to the

more »

... e, which provide mechanisms whereby the compiler isgiven the necessary semantic information to enable the implicitand explicit parallelization of code. The model is based on earlierwork, which separates parallelism specification from concurrencyimplementation, but proposes an updated syntax with additionalmechanisms to facilitate the development of safer parallelprograms. ABSTRACT The increased presence of parallel computing platforms brings concerns to the general purpose domain that were previously prevalent only in the specific niche of high-performance computing. As parallel programming technologies become more prevalent in the form of new emerging programming languages and extensions of existing languages, additional safety concerns arise as part of the paradigm shift from sequential to parallel behaviour. In this paper, we propose various syntax extensions to the Ada language, which provide mechanisms whereby the compiler is given the necessary semantic information to enable the implicit and explicit parallelization of code. The model is based on earlier work, which separates parallelism specification from concurrency implementation, but proposes an updated syntax with additional mechanisms to facilitate the development of safer parallel programs.