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...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
1987
|
Subjects: | |
Online Access: | http://www.dtic.mil/docs/citations/ADA188619 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA188619 |
id |
ftdtic:ADA188619 |
---|---|
record_format |
openpolar |
spelling |
ftdtic:ADA188619 2023-05-15T14:31:37+02:00 ARCTIC - Programmer's Manual and Tutorial. Rubine, Dean Dannenberg, Roger CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE 1987-12 text/html http://www.dtic.mil/docs/citations/ADA188619 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA188619 en eng http://www.dtic.mil/docs/citations/ADA188619 APPROVED FOR PUBLIC RELEASE DTIC AND NTIS Computer Programming and Software *PROGRAMMING LANGUAGES *PROGRAMMING MANUALS *PARALLEL PROCESSING OVERLAP REAL TIME SEQUENCES SPECIFICATIONS TIME TIME DEPENDENCE Arctic programming language WUAFWAL49760001 PE61101E Text 1987 ftdtic 2016-02-19T10:42:27Z 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. Text arctic language Arctic Defense Technical Information Center: DTIC Technical Reports database Arctic |
institution |
Open Polar |
collection |
Defense Technical Information Center: DTIC Technical Reports database |
op_collection_id |
ftdtic |
language |
English |
topic |
Computer Programming and Software *PROGRAMMING LANGUAGES *PROGRAMMING MANUALS *PARALLEL PROCESSING OVERLAP REAL TIME SEQUENCES SPECIFICATIONS TIME TIME DEPENDENCE Arctic programming language WUAFWAL49760001 PE61101E |
spellingShingle |
Computer Programming and Software *PROGRAMMING LANGUAGES *PROGRAMMING MANUALS *PARALLEL PROCESSING OVERLAP REAL TIME SEQUENCES SPECIFICATIONS TIME TIME DEPENDENCE Arctic programming language WUAFWAL49760001 PE61101E Rubine, Dean Dannenberg, Roger ARCTIC - Programmer's Manual and Tutorial. |
topic_facet |
Computer Programming and Software *PROGRAMMING LANGUAGES *PROGRAMMING MANUALS *PARALLEL PROCESSING OVERLAP REAL TIME SEQUENCES SPECIFICATIONS TIME TIME DEPENDENCE Arctic programming language WUAFWAL49760001 PE61101E |
description |
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. |
author2 |
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE |
format |
Text |
author |
Rubine, Dean Dannenberg, Roger |
author_facet |
Rubine, Dean Dannenberg, Roger |
author_sort |
Rubine, Dean |
title |
ARCTIC - Programmer's Manual and Tutorial. |
title_short |
ARCTIC - Programmer's Manual and Tutorial. |
title_full |
ARCTIC - Programmer's Manual and Tutorial. |
title_fullStr |
ARCTIC - Programmer's Manual and Tutorial. |
title_full_unstemmed |
ARCTIC - Programmer's Manual and Tutorial. |
title_sort |
arctic - programmer's manual and tutorial. |
publishDate |
1987 |
url |
http://www.dtic.mil/docs/citations/ADA188619 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA188619 |
geographic |
Arctic |
geographic_facet |
Arctic |
genre |
arctic language Arctic |
genre_facet |
arctic language Arctic |
op_source |
DTIC AND NTIS |
op_relation |
http://www.dtic.mil/docs/citations/ADA188619 |
op_rights |
APPROVED FOR PUBLIC RELEASE |
_version_ |
1766305182174412800 |