The Pico Abstract Grammar

(contents of the file AbstrSyn.pco)
general info

<expression>  ::= <number>
<expression>  ::= <fraction>
<expression>  ::= <text>
<expression>  ::= <table>
<expression>  ::= <function>
<expression>  ::= <native>
<expression>  ::= <variable>
<expression>  ::= <application>
<expression>  ::= <tabulation>
<expression>  ::= <definition>
<expression>  ::= <assignment>
<expression>  ::= <void>

<number>      ::= NBR <number>
<fraction>    ::= FRC <fraction>
<text>        ::= TXT <text>
<table>       ::= TAB <table>

<function>    ::= FUN <identifier> <arguments> <expression> <dictionary>
<native>      ::= NAT <identifier> <function>
<variable>    ::= VAR <identifier>
<application> ::= APL <identifier> <arguments>
<tabulation>  ::= TBL <identifier> <expression>
<definition>  ::= DEF <invocation> <expression>
<assignment>  ::= SET <invocation> <expression>
<dictionary>  ::= DCT <identifier> <expression> <dictionary>
<void>        ::= VOI
<identifier>  ::= <text>

<arguments>   ::= <table>
<arguments>   ::= <invocation>

<invocation>  ::= <variable>
<invocation>  ::= <application>
<invocation>  ::= <tabulation>

Back to the metacircular evaluator

This page was made (with lots of hard work!) by Wolfgang De Meuter