[sv-ac] arguments passing

From: Doron Bustan <dbustan_at_.....>
Date: Fri Jun 22 2007 - 14:46:09 PDT

I modified the formalsemantics part of the arguments passing (1549).
I think that the recursive properties are well defined now.

Doron

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

application/x-pdf attachment: formal_semantics_arguments_passing.pdf

application/x-tex attachment: formal_semantics_arguments_passing.tex

Received on Fri Jun 22 14:46:59 2007

This message: [ Message body ]
Next message: Korchemny, Dmitry: "[sv-ac] Clock rewriting rules"
Previous message: Lisa Piper: "RE: [sv-ac] 1855 proposal uploaded"
Next in thread: Doron Bustan: "Re: [sv-ac] arguments passing"
Reply: Doron Bustan: "Re: [sv-ac] arguments passing"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Fri Jun 22 2007 - 14:47:35 PDT