Fri, 30 Jan 2009 06:38:39 -0800 (PST)

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: | "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.