The Green Language. A Formal Definition.

Abstract

This document is a Preliminary Draft of the Formal Definition of the Green Programming Language. As such, it indicates the structure and style of the final document. At this stage, the Static Semantics is well advanced but not complete, and large parts of the Dynamic Semantics are missing. Some sections (such as Chapter 4 - 6) have been worked on in detail to give a better idea of the final shape of the Formal Definition. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1979
Accession Number
ADA073714

Entities

Organizations

  • Honeywell International, Inc.

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Accuracy
  • Bodies
  • Compilers
  • Computer Programming
  • Conversion
  • Environment
  • Errors
  • Indexes
  • Language
  • Numbers
  • Precision
  • Programming Languages
  • Real Numbers
  • Sequences
  • Side Effects
  • Specifications

Fields of Study

  • Computer science

Readers

  • Business Analytics
  • Database Systems and Applications
  • Theoretical Analysis.