Accession Number : ADA188619

Title :   ARCTIC - Programmer's Manual and Tutorial.

Descriptive Note : Interim rept.,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Rubine, Dean ; Dannenberg, Roger

PDF Url : ADA188619

Report Date : Dec 1987

Pagination or Media Count : 30

Abstract : ARCTIC is a programming language for describing real-time systems with many concurrent activities. Unlike conventional languages that model concurrency as multiple sequential threads of control, ARCTIC models concurrency as multiple functions of time, whose domains may overlap. This radical departure from convention has many advantages, including a declarative programming style, implicit synchronization, convenient specification of timing relationships, and an integrated approach to event-driven and data-driven real-time computation. This document is a specification of the ARCTIC language. Examples have been included in the hope that this specification may be also used as a tutorial. Details of a preliminary implementation of ARCTIC are given in the appendix.

Descriptors :   *PROGRAMMING LANGUAGES, *PROGRAMMING MANUALS, *PARALLEL PROCESSING, OVERLAP, REAL TIME, SEQUENCES, SPECIFICATIONS, TIME, TIME DEPENDENCE

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE