Data Types ............................................45 11.1 Abstract Data Type Definition ................................... 45 11.2 Creation of Abstract Data Objects............................... 45 11.3 Use of Abstract Data Objects .................................... 46 11.4 Equality and Equivalence ........................................ 47 12 Files .............................................................48 12.1 File Literal ......................................................... 48 12.2 Equality and Equivalence ........................................ 48 13 Type any ........................................................49 13.1 Injection into Type any........................................... 49 13.2 Projection from Type any........................................ 49 13.3 Equality and Equivalence ........................................ 50 14 Environments ...................................................51 14.1 Creating a New Environment.......................

Abstract not found

Data Types ............................................45 11.1 Abstract Data Type Definition ................................... 45 11.2 Creation of Abstract Data Objects............................... 45 11.3 Use of Abstract Data Objects .................................... 46 11.4 Equality and Equivalence ........................................ 47 12 Files .............................................................48 12.1 File Literal ......................................................... 48 12.2 Equality and Equivalence ........................................ 48 13 Type any ........................................................49 13.1 Injection into Type any........................................... 49 13.2 Projection from Type any........................................ 49 13.3 Equality and Equivalence ........................................ 50 14 Environments ...................................................51 14.1 Creating a New Environment.......................

DATA TYPES ..............................................................46 11.1 ABSTRACT DATA TYPE DEFINITION .............................................................................. 46 11.2 CREATION OF ABSTRACT DATA OBJECTS ...................................................................... 46 11.3 USE OF ABSTRACT DATA OBJECTS ............................................................................... 47 11.4 EQUALITY AND EQUIVALENCE ..................................................................................... 48 12 FILES ........................................................................................49 12.1 FILE LITERAL ............................................................................................................ 49 12.2 EQUALITY AND EQUIVALENCE ..................................................................................... 49 13 TYPE ANY..................................................................................50 13.1 ...

Machine Manual. As mentioned above, ProcessBase is the first in a family of languages. The reflective compiler is defined in terms of ProcessBase and implemented in it. Using that the hyper-code system will be added. The conceptual approach is that any language in the compliant architecture will be implemented by reflecting into ProcessBase itself. Thus a process modelling language or a language allowing polymorphic definition of code may be added as higher layers of the compliant architecture. ProcessBase Manual 6 2 Context Free Syntax Specification The formal definition of a programming language gives programmers a precise description from which to work as well as providing implementors with a reference model. There are two levels of definition, syntactic and semantic. This section deals with the formal syntactic rules used to define the context free syntax of the language. The context free syntactic rules are further qualified by a set of context sensitive type rules, given in A...