English

DTIC ADA073714: The Green Language. A Formal Definition.

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)

Sign in with your free account to read, download EPUBs or listen.