Chaphey <2 Syntox Divected Translation (set) =p Grammar + Semanhc yule = SPT Grammay:%s nothing bet productions Semantic rules Agsactalied aaith Sufer meal vafakions * In SOT, Every Vion sterminadls Can get © ev-mere eines iy) # Iq Semanke vule, abtyibnbe— nue 4 mempry location Afthibute can be vepresented as a bak ue ies shiny nude, Memery lecafiey Exavrple SOT’ CActions fv The preductions) Production + Semrontic ule vel te E+ Vale +T: Val ES EtT Ee EoT gevalie T: val ; Ta THE pe valt= 7 val . Fe Va T. va ive une a pe valis num. \exvel F Y atlyi bale Orie by Lexical Arrakyeer syntax Directed Translation Fawclation schone +— # Te synrox Divecled Translalion scheme 76 a Conlext fee pamnny ar is Used to evaluslt The ovder of Semante res x In translalin Scheme The semantic wiles are embedded within the Vighl side of Te production, % We position at adkich an acim is to be executed: Is shown by enclosed _welween braces. cp is avittn within The %ghy side of The pyeducion.- aly difference betuiem SDT ond SOT stheme is awgmenh hs 5 fens) - wgme grammer (Aekons Be" Preductions Ee froduchion ween a Semantic aules S40! - ms eg fevink @- val E> E+E (ENoh 12 Evol + g.vol : fevad = Bev # E+ VS {eu a gf. val favelte ml TF Uigit ft-volez Lex weal 4 Tmplementott m 6 Syribox dy rected. Frons lotion » sor 1 Ymplemented by constructing > pave tree and perform The acHows im a left fe vighh legit Fost over’ spr % tmplementing Wy pevse the Spur amd a parse Free as a Fesul¥- Exarple:- — Grveemmen) ffrrdustions Zenummne’ _, fctions, oy pat {Ervalt geval Ts vehi, EET 7 BOT fev wet va, T7 THF {rel ae vd} ae poral ese AO, pov ar he g pve snum bv . sae pan Egic [A BKP | - Lenptermuk the SOT ~ Coley ohe Tere SPT ge = Hee ust Top dem a omd left to igh is _ awmber yedute tor Ss xe an ery oss frauchon py thet prestudien o ae yolk $3 Acton pa mumngpevelss Mammy ER. re thet action lies 1 be cafedet Wal give ‘eeTranslation of Assignmenf Sfatements : @ Ta SDT, assignment sfaement is mainly deals with Expressions. a sae Fapwssion Can be type) veal, Hebuleger, arvray f1scerds Egi- Gyammay Sy ids=E£ EOE, tie EE ARL E7 Ce) EAid Ge i : mn ve Thaletion scheme of Bis gemma, gat ss . a Horns ae at vadacion Sue male OO aR Ene p % e © soidize £ p= look-up Cid-namers Jou ene Sf pe mull Ten ety Emit (Pee place) Tn Pe Else <— oer ever; Fmib Means we heve Bs Tose Wrvee oddvess cede (Tac) TAC assign HP. Aa a ; ® eaete, eis if Pant iP displays Exrer new tempor; Emep 7 We plae=t CE: floce is Fer 3 ee: Pacey! gt alle 2-Place) Tac flee ploe fea place Volues asfiyn to) t= Ey tee We-plae= tyES Ey Je-place = new temp) 3 E wit (Ce place + £,- plow ey: space) § pepeests™ TAC te E, tEL @ es@ Le plow = Er place } @ said J fe lakup (id nome) 7rd vreant Velet ip ¢F rell they ‘ Rhemever id presale i = pple AC gS ti Emnth (P= PME) y TAC nd shale ass EF Det 3 The fe The trembdionef precuctiony voles for BR Translation of Assignment S ements. eT P wehons The emby few id.ename w The Symbal : used fey agpending Te file. otherwise Beth fonction vs Three addyess code te The outpuh ie ror yeperh am exyer- = TR wee tempo? Bow Pametien used to genercle men tempovary Vavialles > E- plac lols The Velue of E. ave The ferms we use ba the Seman Trese all actens | aeve bet dake One Excmple te expt Cros lobion of A ssigrmnenk sfolement - FgTyre checking — A comptiey mush checks The program fellows Wee. bpe yeles of Hie Langnoge - Bady lean May oom type sole Based on Mee type Ye Complex” hos dh be check - So he infor-malion aboow ols types \s mainfien amd complet by “We | comp! lew” Sela Tips Rye Wwhegey, clavater, plo: Wha 45 tye checking? => Type checker fo oo med qtr is denoted fe Hyge ahem chee of Joaes x ink — ronge ; flor ~ Farge In dey = av roy - eer Type checking may be shalic 0” chyna c Zs deve of comgiie Hine done ob Funtime Tre mek purpose of dyge checking is Weller The Grego is Memtaln Correctly sy usr everything clyecked efove Ths execution. So tre Stelle tye checkdyg alse usehy to deleymine amount Merry needed to stove verfaltes | = = aey desig - Te dein of Aye cheber dyonds en GB I > Synbactic hs - u ce, styuctwre of Law re . ange onl: @& Mm type exp Essie f tanguoge “ a=- Hh 2 : : @- mH wes fey asdig ring types to consprute Yos fin of type checkey” Tike + sy Seynls renee of yeanns Tre init] vt Fao ee Aplin tre hrode 9 ages ames Mae TOKEN styeam and genere genevatiny Me 49 ec Syntethie shy ve ose t syn bree , afl’ the type clyccks¥ all ¢ _ netiew Ft follow of Langue’ com rater ale aloove. Thyes tombs - nton WER chur’ ov werTyee Expression avd Type _ Systems ~ Type Expression oni densies the Type of language 47, CHSC 7 Bash type 5 7 wy geeky Woole™ , d: ™ “We meme {Tye ccasrrustors ley, function. -- comsbyuction- Fyre names Preludes preys a a f T is Tye Bxxgressior' array Gi) | is TYPC Egresien we Age Trdee @ Arvey | to) of tH = Ate Veeteyint]s, Tye @ Fasupe net af you awe tre Postion Th Cau be denoted like domam oud yauge pte frometion (£y%¢ aud Tyfe express) TP. +h tee EcprEeimd 4 we Gapvet 31 emykactoy & omer - then poinler T 18Wye s fend i= & > Tye system 4s collection of ules pv assigning Cyc |xpressto) , a aa (Components of: Sa J Sasie type) [peste [se > aay, shud Ex nf, clay, floc shotvg Tae equ y ExI- chav, Os shud Ob; a- A bro Type conversion (7 THe cashing —A Type Gr se basically a conversion from one type to aus Kiev toro type of CONVENSINS — there ave 3 real type converss™ Bxpict tye Conversion Tmol Frnplick type. COVEY SOM» af a Compiler comm hs ore deta ome deka tygetlo aupltie data Type awWomohi cally bre; Pints) Convene Leola {0 clear apt ShevFE | You com caver > Tr ye long te sy Shetty,Explicit Type Convers —— when dots of ome pe dd anothew ype se conver eh EagisA wits tre help of Predefintel famdion. => There iso > some. Convey doi& hess on Cone vate te shat ie, cmase i mplictly