next up previous contents
Next: Examples using pre-defined primitives Up: A++ with few extensions Previous: A++ with few extensions   Contents
New book on A++ and the Lambda Calculus available!

Syntax of A++ including pre-defined primitive abstractions


expression ::= abstraction (6)
    reference  
    synthesis  
    predefined abstraction  
abstraction ::= define (7)
    lambda  
    expression  
reference ::= variable (8)
synthesis ::= operator  expression (9)
variable ::= symbol (10)
operator expression ::= abstraction reference synthesis (11)
    predefined operation  
predefined abstraction ::= predefined value (12)
    predefined operation  
predefined value ::= vmzero vmtrue vmfalse (13)
    double quoted string single quoted string  
double quoted string ::= string (14)
single quoted string ::= string (15)
predefined operation ::= incr print load equalx quit (16)


next up previous contents
Next: Examples using pre-defined primitives Up: A++ with few extensions Previous: A++ with few extensions   Contents
Georg Loczewski 2003-08-07