The evolving alegbra semantics and control1993 |
Common terms and phrases
AfterTask alter ANSI behavior calling program COBOL programming language compiler compiler directing compound statement computation condition-1 conditional GO conditional statements context-free grammars CurTask DATA DIVISION data-name-1 delimited scope dynamic function END-EVALUATE evolving algebra executed EXIT PROGRAM ExitTask expression update external function file-name-3 GO statement identifier-1 imperative statement imperative-statement-1 implement index-name-1 Input/Output integer-1 INVALID KEY later algebras level numbers literal-1 Moveto(NextTask(CurTask NextTask expression test NextTask False Task NextTask Figure NextTask NextTask expression NextTask TrueTask expression null statement operational semantics OUTPUT PROCEDURE paragraph or section partial function PERFORM procedure-name-1 Pictorial description pictorial representation procedure-name-1 THROUGH THRU represent run unit selection statement selection subjects set of selection SORT statement specified Sperry Rand Corporation statement following statement NextTask statement of procedure-name-1 Statement The syntax static function syntax diagram task of type TaskType transfer control transfer of control transition rules TrueTask expression test Turing machine Universes and Functions verb WhichChild(CurTask