Compiler Algorithms to Maximize Data Locality on Massively Parallel Systems

9304295 Lukas这是一个用于并发软件系统研究的计划拨款。它用一个正式的规格说明语言家族来处理规格说明阶段，该语言家族利用对象作为基本模型。研究的长期目标是定义一个层次结构的正式规格说明语言，地址，在日益增加的特异性，并发系统的要求。 这个语言家族基于基本语言的概念，基本语言作为父类和子类，代表并发系统越来越具体的功能。 初步的方法是首先开发类及其关系的分层描述，然后从语法和语义上正式定义基类。使用继承，然后将为支持特定语言功能的编程语言类别定义子类。这种并发面向对象系统规范的方法促进了抽象的使用，并帮助规范将问题转换为特定语言的形式。规范的层次结构也具有规范重用的潜力。 规划活动包括全面的研究领域的研究，是根本的建议的研究，包括正式规范语言，并发面向对象的语言，代数规范。规划活动还包括开发一种微型语言，为试验和扩大拟议的研究提供一种机制。 ***

9304295 Lukas This is a planning grant for research in concurrent software systems. It addresses the specification phase with a formal specification language family that utilizes the object as the basic model. The long-term objective of the research is to define a hierarchy of formal specification languages that address, in increasing specificity, the requirements of concurrent systems. This family of languages is based on the concept of a base language that serves as the parent class and subclasses that represent increasingly specific features of concurrent systems. The preliminary approach is to first develop a hierarchical description of the classes and their relationships and then to formally define the base class, both syntactically and semantically. Using inheritance, subclasses will then be defined for categories of programming languages that support specific language features. This approach to the specification of concurrent object-oriented systems promotes the use of abstraction and assists the specifier with the transformation of a problem to a language-specific form. The hierarchy of specifications also has potential for specification reuse. The planing activities include comprehensive study of research in areas that are fundamental to the proposed research, including formal specification languages, concurrent object oriented languages, and algebraic specifications. The planning activities also include the development of a mini-language to provide a mechanism for experimentation and for expansion of the proposed research. ***