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

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

2、問題,實(shí)現(xiàn)了泛型予程序的成功轉(zhuǎn)換,添加了特殊符號(hào)直接作子程序參數(shù)名等功能.5研究了Apla中支持的泛型程序Java實(shí)現(xiàn),并最終在該系統(tǒng)中實(shí)現(xiàn)了對(duì)其轉(zhuǎn)換的支持.6研究了Apla中自定義泛型ADT機(jī)制的Java實(shí)現(xiàn),并在該系統(tǒng)中實(shí)現(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é)符號(hào);3強(qiáng)迫用戶使用抽象數(shù)據(jù)類型設(shè)計(jì)程序,使其注意力集中于算法的推導(dǎo);4在部件庫的支持下,用戶使用組合數(shù)據(jù)類型就像使用簡單數(shù)據(jù)類型一樣簡單方便;5集Apla程序的編輯、編譯、運(yùn)行于一體,使用方便;6為我們正在研制的程序設(shè)計(jì)智能教學(xué)軟件提供了支撐.7能提高軟件的