next up previous contents
Next: Structure of ARS++ - Up: ARS++ A++ Previous: ARS++ A++   Contents

Definition of ARS++ - first stage


expression $\textstyle ::=$ abstraction (17)
    reference  
    synthesis  
    predefined  
abstraction $\textstyle ::=$ define (18)
    lambda  
    expression  
reference $\textstyle ::=$ variable (19)
synthesis $\textstyle ::=$ operator  expression (20)
variable $\textstyle ::=$ symbol (21)
operator  expression $\textstyle ::=$ abstraction reference synthesis (22)
    primitive  operation  
predefined $\textstyle ::=$ value (23)
    special  form  
    primitive  operation  
value $\textstyle ::=$ number string symbol (24)
    char boolean  
    pair list vector  
special  form $\textstyle ::=$ 'if' 'let' 'set!' 'apply' (25)
    'begin' 'cond'  'or'  \vert  'and'  
    'case' 'letrec' 'while!' 'do' 'defmacro!'  
    'call-with-current-continuation'  
    quote symbol quasi-quote symbol  
primitive  operation $\textstyle ::=$ numeric operator (26)
    relational operator  
    'number?' 'symbol?' 'string?'  
    'equal?' 'positive?'  
    'cons' 'car' 'cdr' 'list-ref'  
    'list?' 'null?' 'pair?'  
    'display' 'newline'  
    'open-input-file' 'open-output-file'  
    'write' 'read' 'write-char' 'read-char'  
    'close-input-port' 'close-output-port'  
    and  many more  
quote symbol $\textstyle ::=$ ' (27)
quasi-quote symbol $\textstyle ::=$ '' (28)



Subsections
next up previous contents
Next: Structure of ARS++ - Up: ARS++ A++ Previous: ARS++ A++   Contents
Georg P. Loczewski 2002-07-20
ORDER NOW!!!