Abstract:It is important for programmers to understand the semantics of a programming language. However, little work has been done about the semantic descriptions of HPFlike data-parallel languages. In this paper, we first define a simple language T>, which includes the principal facilities of a data-parallel language such as HPF. Then we present a denotational semantic model of T>. It is useful for understanding the components of an HPF-like language, such as data alignment and distribution directives, forall datapara… Show more
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.