Subject: Re: my action items
From: Cindy Eisner (EISNER@il.ibm.com)
Date: Mon Aug 19 2002 - 06:11:57 PDT
all,
attached below please find a document which includes:
1. a small example of formal semantics in math and in english
2. an example of what i mean by defining the semantics independently of a
particular implementation
regards,
cindy.
(See attached file: august12002_action_items.ps)
Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-8296-114
Haifa 31905, Israel e-mail:
eisner@il.ibm.com
Cindy Eisner/Haifa/IBM@IBMIL@eda.org on 01/08/2002 21:17:22
Sent by: owner-sv-ac@eda.org
To: sv-ac@eda.org
cc:
Subject: my action items
all,
at today's meeting, i committed to providing you with the following:
1. a small example of formal semantics in math and in english
2. an example of what i mean by defining the semantics independently of a
particular implementation
it is after 9pm, and i am on vacation from tomorrow until august 11. i
will send these two things when i return. unfortunately, my auto-reply
seems to be broken, so i apologize in advance for not responding to any
emails you may send me during that time.
regards,
cindy.
Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-8296-114
Haifa 31905, Israel e-mail:
eisner@il.ibm.com
This archive was generated by hypermail 2b28 : Mon Aug 19 2002 - 06:12:40 PDT