Re: help with basic derivations

m.helvensteijn@gmail.com
Tue, 3 Feb 2009 04:35:02 -0800 (PST)

          From comp.compilers

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)
| List of all articles for this month |

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



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.