A parallel compiler for SequenceL

Procedural languages like C and FORTRAN have historically been the languages of choice for implementing programs for high performance parallel computers. This dissertation is an investigation of a high-level nested programming language, SequenceL and whether a SequenceL compiler that compiles to parallel code can be developed for a parallel system. This dissertation has achieved the following results. • Established a proof of concept that there exists a SequenceL compiler that can create executable programs that embody the inherent parallelisms and other implied controls structures in SequenceL, • Developed a new intermediate language capable of representing the meaning of a SequenceL source program, • Developed the techniques for spawning threads to dynamically create parallelisms using a threaded approach, and discovered that the SequenceL language implies a parallel execution model, • Identified a number of optimization and performance enhancement opportunities, • Identified a new SequenceL language requirement for defining nesting and cardinality typing information for SequenceL data structures.