This document describes a programming language and an abstract architecture which programs written in that language may be executed with.
All properties of the standard described in this document are premanent and cannot be arbitrarily removed.
Other properties may be added later only if they do not affect currently existing properties.
If two properties are found to conflict, the most recently added, or least significant, property should be removed.
Existing properties may be changed if the general design of computing technology has developed to a point where its functionality is so foreign to the architectures targeted by this standard that the language is no longer compatable or viable on that architecture. The commonality of the incompatable architecture must be taken into account for this clause to apply. If the architecture in question is not generally used in most computing applications, this standard is not required to be adapted to suit that architecture.
ASC is designed to allow the expression of "computer math". Computer math differs from normal mathematics and science because it is concerned with the means of achieving a goal, rather than associating a goal with an origin. For computation, the means includes such things as temporal constraints, resource limitations, accuracy, data representation, and other constraints. These concerns have a profound affect on how computationally feasible a given target is. ASC attempts to represent most of these concerns as first-order constructs which can be handled and reasoned about as part of a program.