Accession Number : ADA186422

Title :   AFL-1: A programming Language for Massively Concurrent Computers.

Descriptive Note : Master's thesis,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Blelloch, Guy

PDF Url : ADA186422

Report Date : Nov 1986

Pagination or Media Count : 134

Abstract : Computational models are arising in which programs are constructed by specifying large networks of very simple computational devices. Although such models can potentially make us of a massive amount of concurrency, their usefulness as a programming model for the design of complex systems will ultimately be decided by the design of complex systems will ultimately be decided by the ease in which such networks can be programmed (constructed). This thesis outlines a language for specifying computational networks. The language (AFL-1) consists of a set of primitives, and a mechanism to group these elements into higher levels structures. An implementation of this language runs on the Thinking Machines Corporation, Connection Machine. Two significant examples were programmed in the language, an expert system (CIS), and a planning system (AFPLAN). These systems are explained and analyzed in terms of how they compare with similar systems written in conventional languages.

Descriptors :   *COMPUTER PROGRAMMING, *PROGRAMMING LANGUAGES, LANGUAGE, MACHINES, MATHEMATICAL MODELS, MODELS, NETWORKS, PLANNING, STRUCTURES, PARALLEL PROCESSORS, DIGITAL COMPUTERS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE