ARCTIC - Programmer's Manual and Tutorial.

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 departur...

Full description

Bibliographic Details
Main Authors: Rubine, Dean, Dannenberg, Roger
Other Authors: CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Format: Text
Language:English
Published: 1987
Subjects:
Computer Programming and Software
*PROGRAMMING LANGUAGES
*PROGRAMMING MANUALS
*PARALLEL PROCESSING
OVERLAP
REAL TIME
SEQUENCES
SPECIFICATIONS
TIME
TIME DEPENDENCE
Arctic programming language
WUAFWAL49760001
PE61101E
Arctic
arctic language
Online Access:http://www.dtic.mil/docs/citations/ADA188619
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA188619
Description
Summary: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.

Similar Items