This paper illustrates two major points. First, the authors discuss a general, conceptual model for SPMD program generating systems, and demonstrate that this model allows one to capture a broad range of different program semantics. Second, they show that it is possible to fit the concepts of this model into an annotation language that allows an SPMD program generating system to fully utilize all the possibilities present in the model.<>
更多
查看译文
关键词
automatic programming,parallel programming,programming theory,annotation language,expressive annotation model,program generating systems,program semantics,single program multiple data execution