Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| help with basic derivations jon.gallagher.04@gmail.com (jon.gallagher.04) (2009-01-26) |
| Re: help with basic derivations m.helvensteijn@gmail.com (Michiel Helvensteijn) (2009-01-28) |
| Re: help with basic derivations jon.gallagher.04@gmail.com (jon.gallagher.04) (2009-01-30) |
| Re: help with basic derivations m.helvensteijn@gmail.com (2009-02-03) |
| From: | m.helvensteijn@gmail.com |
| Newsgroups: | comp.compilers |
| Date: | Tue, 3 Feb 2009 04:35:02 -0800 (PST) |
| Organization: | Compilers Central |
| References: | 09-01-056 09-02-003 |
| Keywords: | types |
| Posted-Date: | 03 Feb 2009 07:47:05 EST |
> Thank you. Yes, it is the operational semantics for a language of
> booleans and arithmetic expressions.
>
> I agree that if then else can be made self evident, but why then
> define the evaluation rule with phrase t3 ---> t2 under "else"
>
> if true then t2 else t3 ---> t2.
You're not using the phrase "t3 ---> t2" anywhere. What you mean is
this (using parenthesis for clarity):
(if true then t2 else t3) ---> (t2)
--
Michiel Helvensteijn
Return to the
comp.compilers page.
Search the
comp.compilers archives again.