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

Syntax of A++ including pre-defined primitive abstractions


expression $\textstyle ::=$ abstraction (6)
    reference  
    synthesis  
    predefined abstraction  
abstraction $\textstyle ::=$ define (7)
    lambda  
    expression  
reference $\textstyle ::=$ variable (8)
synthesis $\textstyle ::=$ operator expression (9)
variable $\textstyle ::=$ symbol (10)
operator expression $\textstyle ::=$ abstraction reference synthesis (11)
    predefined operation  
predefined abstraction $\textstyle ::=$ predefined value (12)
    predefined operation  
predefined value $\textstyle ::=$ vmzero vmtrue vmfalse (13)
    double quoted string single quoted string  
double quoted string $\textstyle ::=$ string (14)
single quoted string $\textstyle ::=$ string (15)
predefined operation $\textstyle ::=$ 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 P. Loczewski 2002-07-20
ORDER NOW!!!