APLA組合數(shù)據(jù)類型的C++實(shí)現(xiàn).pdf

1、江西師范大學(xué)碩士學(xué)位論文APLA組合數(shù)據(jù)類型的C實(shí)現(xiàn)姓名：蔣毅劍申請(qǐng)學(xué)位級(jí)別：碩士專業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：薛錦云2002.5.1江西師大碩士論文APLA組臺(tái)數(shù)據(jù)類型的c實(shí)現(xiàn)AbstractWiththeimprovementofscienceandsocialproductivitysoftwarehasbecomemoreandnH)reimportantduringthefortyyearsButtheefficiencyo

2、fdevelopingsoftwareisverylowMoreover，softwarepmductsstillhavemanydefaultsuniversallyuptothepresentForexample，thequalityisnotgoodandthereliabilitycan’tbeguaranteedtotallyConsequentlytheharmbroughtbythedefaultsinsoftwareis

3、becomingmoreserious，andtheampuntofsoft：wareproductscan’tkeepthepacewiththeneedsofpeopleHowtoworkouttheprogramswithhighreliabilityhastroubledthedeveloperforalongtime，whichisalsothekeytotherapiddevelopmentofsoftwareindustr

4、yInordertomodifythecurrentsituationofsoftwaredevelopment，improvingthereliabilityoftheproductsProXueputforffardagenerallyaccommodatedmethodPARmethodwhichcreateanewapproachforprogrammingThethesis，whichisaimportantpartofthe

5、PARmethod，istheimportantcontentoftheprojectsupportedbytheNationalNaturalScienceFoundationofChinan_‘‘Theresearchofapracticalformaldevelopingmethodanditstools”ItsmaintargetiscorrectrealizationoftheabstractdatainAPLA，andits

6、maincontentis：1Byanalyzingthecurrentmethodsofprogramming，includingformalmethodsandinformalmethodswefoundasuitableapproachwhichcallhelpustealizeabstractdatainAPLAcorrectly2Byusing山6PARmethodandtransformingsystemweimplemen

7、ttheabstractdatainAPLAcorrectly3WeimportthegenericprogrammingtheoryintotheC十classlibrarythroughstudyingtheideaofgeneticprogrammingachievethegenericprogramminginAPLAprogram4WealsotesttheCclasslibrarybymanyexampleswhataret

8、ransformedbyAPLACsystemInaddition，wealsodevelopanyalgorithmprogrambyusingthePARmethodandthetransformingsystemTheCclasslibraryandAPLACtransformingmachinecomposetheAPLACsystemwithhighreliabilitywhichhastransformedmanyexamp