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

Definition of ARS++ - second stage


expression $\textstyle ::=$ abstraction (29)
    reference  
    synthesis  
    predefined  
abstraction $\textstyle ::=$ define (30)
    lambda  
    expression  
reference $\textstyle ::=$ variable (31)
synthesis $\textstyle ::=$ operator expression (32)
variable $\textstyle ::=$ symbol (33)
operator expression $\textstyle ::=$ abstraction reference synthesis (34)
    primitive operation  
predefined $\textstyle ::=$ value (35)
    special form  
    primitive operation  
value $\textstyle ::=$ number string symbol (36)
    char boolean  
    pair list socket  
    data base regular expression posix file  
special form $\textstyle ::=$ 'if' 'let' 'set!' 'apply' (37)
    'begin' 'cond' 'or' 'and'  
    'case' 'letrec' 'while!' 'do' 'defmacro!'  
    'call-with-current-continuation'  
    quote and quasi-quote symbol  
primitive operation $\textstyle ::=$ numeric operators (38)
    relational operators  
    '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'  
    'dbm-open' 'dbm-close'  
    'dbm-fetch' 'dbm-firstkey'  
    'dbm-nextkey' 'dbm-delete'  
    'dbm-store' 'dbm-count'  
    'dbm-fetch' 'dbm-firstkey'  
    'tcp-listen' 'tcp?'  
    'tcp-accept' 'tcp-connect'  
    'tcp-readline' 'tcp-readn'  
    'tcp-writen' 'tcp-close'  
    'regcomp' 'regfree'  
    'regexec' 'regx?'  
    and many more  
quote symbol $\textstyle ::=$ ' (39)
quasi-quote symbol $\textstyle ::=$ ' (40)


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