Re: help with basic derivations

"jon.gallagher.04" <jon.gallagher.04@gmail.com>
Fri, 30 Jan 2009 06:38:39 -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: "jon.gallagher.04" <jon.gallagher.04@gmail.com>
Newsgroups: comp.compilers
Date: Fri, 30 Jan 2009 06:38:39 -0800 (PST)
Organization: Compilers Central
References: 09-01-056
Keywords: theory, types
Posted-Date: 01 Feb 2009 16:03:23 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.


Post a followup to this message

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