ARCTIC - Programmer's Manual and Tutorial.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1987
Accession Number
ADA188619

Entities

People

  • Dean Rubine
  • Roger Dannenberg

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Aeronautical Laboratories
  • Air Force
  • Computer Programming
  • Computer Science
  • Computers
  • Debugging
  • Digital Signal Processing
  • Frequency
  • Governments
  • Information Processing
  • Language
  • Programming Languages
  • Real Numbers
  • Security
  • Signal Processing
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Mathematical Modeling and Probability Theory.
  • Software Engineering.