【嵌套过程说明之提升的研究与实现】梁建华.pdf
嵌套过程说明之提升的研究与实现 Techniques and Implementation for Procedure Lifting of Nested Procedural Language 梁建华 导师:金成植教授 专业:计算机软件 吉林大学计算机科学系 一九九四年四月
4要导村发:第卓 鸣谢 参考戴
第阜收套型这程式语言和过程提升 嵌套结格PASCAL育 PAS:点是惠活构子h算期研完措来的.嵌套的过程函数 下网说明伴二个的社程式伊甲冲月特色,过程的嵌寶说明使语言结 构情晰,格什！,的欧货凹:和运行带米额外的月销,P3>},心用域时府言,程序的作用域单元是过程和 函数,有七们半临x鸣与支量乱是局部的.过程可以歌套.由此实现变量共 享,PA！错任联套的r用战:说文量,寸F过程和函数中出现的非 局部量自止与？理易生号式的到,技到包含这个过程并有该非局 的最!,是该非局部量的定义之处 p:1中储力P.