Generating Parallel and Real-Time Systems from Equational Programming Language Specifications

Abstract

Equational Programming Language, abbreviated EPL, has been designed and implemented at Rensselaer Polytechnic Institute to increase productivity of programmers in the area of real-time and parallel programming. EPL is a simple non-strict functional language with type inference. The language is defined in terms of just a few constructs: generalized arrays and subscripts for the data value definitions, ports for process interactions and virtual processors for execution directives. Yet, its powerful complier can generate object code for a variety of parallel and distributed architectures. The compilation is based on conditional data dependence analysis and data attribute propagation. The interplay between the user supplied annotations and complier transformation has also been investigated. The software tools for integration of EPL programs into a parallel computation have been developed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1990
Accession Number
ADA227632

Entities

People

  • Boleslaw Szymanski

Organizations

  • Rensselaer Polytechnic Institute

Tags

DTIC Thesaurus Topics

  • Arithmetic Units
  • Artificial Intelligence
  • Compilers
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Computing System Architectures
  • Directives
  • Equations
  • High Level Languages
  • Language
  • Object Code
  • Parallel Computing
  • Parallel Processing
  • Programming Languages

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Parallel and Distributed Computing.
  • Technical Research and Report Writing.

Technology Areas

  • AI & ML