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!!!