two co-existing projects

Brent Benson bwb@concentra.com
Mon, 28 Apr 1997 21:39:55 -0400


This is a multi-part message in MIME format.
--------------CAA5A348F1F163F2392DF93F
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Richard Coleman wrote:
> 
> Also... I should qualify what I mean here....  By high level VM,
> I essentially mean de-sugar-fied lisp or scheme.  Let's use
> a simplified form of lisp as our VM.  The should make web
> and agent based stuff easy...

Here is the desugared Scheme/Lisp I usually use for an intermediate
representation.
--------------CAA5A348F1F163F2392DF93F
Content-Type: text/plain; charset=us-ascii; name="lambda-vm.txt"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline; filename="lambda-vm.txt"


<expr> ::=
    <constant>
  | <variable-reference>
  | <variable-assignment>
  | <function>
  | <application>
  | <conditional>

<constant> ::=
    <integer-literal>
  | <float-literal>
  | <character-literal>
  | <string-literal>
  | <boolean-literal>

<variable-reference> ::=
  <variable-name>

<variable-assignment> ::=
  (set! <variable-name> <expr>)

<function> ::=
  (lambda (<variable-name> ...) <expr>)

<application> ::=
  (<expr> ...)

<conditional> ::=
  (if <expr> <expr> <expr>)


--------------CAA5A348F1F163F2392DF93F--