Java程序部分求值描述語(yǔ)言及其應(yīng)用框架.pdf

1、部分求值技術(shù)是解決程序通用性和專用性之間矛盾的一種有效手段.根據(jù)程序的輸入,自動(dòng)判斷輸入的性質(zhì),提取出程序其中經(jīng)常重復(fù)執(zhí)行、并具有相同結(jié)果的部分,把通用程序轉(zhuǎn)換成具備一定程度上的專用程序,從而緩解該矛盾.對(duì)于經(jīng)過(guò)部分求值處理之后的Java程序,盡管在執(zhí)行效率上得到了改善,并且計(jì)算結(jié)果與原始Java程序的計(jì)算結(jié)果完全一致,但程序之間的接口卻發(fā)生了顯著的改變.在部分求值處理過(guò)程中,需要向部分求值器傳遞原始程序的參數(shù)動(dòng)靜狀態(tài)信息,以便部分求值

2、器判斷原始程序中每個(gè)變量和表達(dá)式的狀態(tài),并決定處理這些變量和表達(dá)式的方式.為了方便部分求值這種軟件自動(dòng)化技術(shù)的應(yīng)用,該文提出了一種面向Java語(yǔ)言的部分求值的描述語(yǔ)言,以及應(yīng)用模型,并實(shí)現(xiàn)了相應(yīng)的應(yīng)用框架自動(dòng)生成系統(tǒng).鑒于Java程序的多樣性,JPESL描述語(yǔ)言必須能夠描述部分求值器處理各種Java應(yīng)用時(shí)所需的信息,以便部分求值器進(jìn)行部分求值處 理.為此,除了提供描述通用信息的語(yǔ)法規(guī)則之外,JPESL描述語(yǔ)言還提供了描述RMI應(yīng)用和Ap