支持泛型程序設(shè)計的Apla-Java自動程序轉(zhuǎn)換系統(tǒng).pdf

1、該研究主要進行了以下工作:1對原有程序自動轉(zhuǎn)換系統(tǒng)進行了大量的測試并作出測試報告.2對整個自定義Java可重用部件庫的結(jié)構(gòu)進行了優(yōu)化和調(diào)整,對部件庫進行了完善和補充,使其更好、更自然的支持高級功能的實現(xiàn),同時也保持了對已實現(xiàn)功能的支持.3對轉(zhuǎn)換器進行了重構(gòu).在此基礎(chǔ)上,對轉(zhuǎn)換系統(tǒng)的原有轉(zhuǎn)換功能進行了完善,使得轉(zhuǎn)換器的語法檢測功能更加強大;并為轉(zhuǎn)換系統(tǒng)添加了一些新的特性,增強了其可用性.4進一步完善了自動程序轉(zhuǎn)換系統(tǒng)泛型問題中的類型參數(shù)化

2、問題,實現(xiàn)了泛型予程序的成功轉(zhuǎn)換,添加了特殊符號直接作子程序參數(shù)名等功能.5研究了Apla中支持的泛型程序Java實現(xiàn),并最終在該系統(tǒng)中實現(xiàn)了對其轉(zhuǎn)換的支持.6研究了Apla中自定義泛型ADT機制的Java實現(xiàn),并在該系統(tǒng)中實現(xiàn)了其轉(zhuǎn)換.目前一些形式化方法的支持工具,只能支持規(guī)約的編輯、求精或手工證明等,而該系統(tǒng)在以下方面體現(xiàn)出其特色和創(chuàng)新:1它是PAR方法的重要組成部分.問題的算法用Rad1語言描述,Apla程序在Rad1算法的基礎(chǔ)上

3、得到.Rad1語言的引入使得算法和程序相分離,并具有引用透明性,這些都有利于算法和程序的推導(dǎo),從而可保證作為系統(tǒng)輸入的Apla程序的正確性.2允許用戶在Apla程序中使用簡單的數(shù)學(xué)符號;3強迫用戶使用抽象數(shù)據(jù)類型設(shè)計程序,使其注意力集中于算法的推導(dǎo);4在部件庫的支持下,用戶使用組合數(shù)據(jù)類型就像使用簡單數(shù)據(jù)類型一樣簡單方便;5集Apla程序的編輯、編譯、運行于一體,使用方便;6為我們正在研制的程序設(shè)計智能教學(xué)軟件提供了支撐.7能提高軟件的