Lecture 5 Notes

ip

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: dures are easy to implement: ¥¢ £¦R¥ ¡ ¢ $ © ¡ ¡ ¢$ ¡ For the translator, we have two procedures, , which handles expressions, and , which handles programs.   # ¡ ¦¡ ¢ ¡ ¥ ¦ ¥ ¥ ¢ ¤ ¢ ¡ ¡¢$ ¡ $ %© We are trying to translate an expression which is sitting inside the declarations represented by . To do this, we recursively copy the tree, except that  ¢¡# ¡ with the right lexical £#¢ !£¡  ¤  ¢¡# ¡ ¢ . £# )¢ ¢¡¡ ¥© ¤ I¤ ¤¡ £¥ ¢¦¡ ¢ ¢¡ #© #    £# )¢ ¡ 1. Every is replaced by a address, which we compute by calling # © #   ¤ £# !¢ £ ¦¡ ¥ is replaced by a , with the body trans2. Every lated with respect to the new scope, represented by the static environment x . ¤ ¤ § £#¢$ © !£%# ¢ ¡ ¢¡ # #  © is replaced by a ¤  ¢¡# ¡ ¤  ¢ # ¡ ¢ ¤   # $ # £ £#¢$# !£© 3. Every . The two subexpressions are each translated in an appropriate scope. 20 § !§ ¤ £ # ¡£ ¥ ¡ ¡ ¢ ¢¡ # ¥ ¦ ¥ ¢ ¢ ¡ ¤ 21 £ # $ %© # %£ ¡ © ¥ ¡  © ¡ ¡¢$ ¡ ¦¡ ¡ ¡ ¥ # !$ ©©9 ¡ # ¢© ¤ ¥ # "(# ¡ §§ !!§ © # & 5 65  ©  © ) #)(& © #£  ¨874321"0¡¨'%%$"!¡¨¦¤!! £ © ©§¥£  ¨ ¤ ¥ ¦R¥ ¢ ¢ ¢ ¤ ¥ ¦R¥ ¢ ¢ ¨¤ ¢¤ §§ !!§ ¢ # ¡  ¢ # ¡ § ¡ % £ # ¡ % £ # § ¤ © § )§  £ !£$ #¢ ¡ E£ ¥ £ # $ %© $ %© ¤ ¡ ¢$ ¡ ¡ ¡ ¢$ ¢ £ !¢ !¡ #¡ ¤ £# " © § ¤  ¢ £# ¡ !¢ )¡ ¢  ¢ ¡ RE£ ¥ £#¢ !£$ §!§!§)§ ¢ ¡# ¡ ¡    ¡# ¡ ¢  ¡# $ "  £# ¥¥ ! P %¥ ¢¦R¥ %© ¡ ¢$ ¡ $ ¡ § ¢ ¡# ¡ ¡ ¢¡ ¡%¥ ¦ R¥ %© ¡ ¢$ ¢ $ ¡ ¤ £!£$#©¢ ¡¢¡ #  #¢ #©  ¤  £#¢$#© !¦% ¢ ¢ §¥ ¨!  ¢¡# ¡ §§§ !!)§ ¥ ! ¡ ¡¨¡ ¡ ¥   ¡    ¡# ¡ ¢  ¡# $ " £# ¥P %¥ ¦R¥ %© ¡ ¢$ ¡ ¢ $ ¡ ¤ ¤ ¡ #©  £#!¢ ¢9¡ ¢ ¢¡ ...
View Full Document

This document was uploaded on 03/17/2014 for the course CSG 111 at Northeastern.

Ask a homework question - tutors are online