Implementation Of Composed Data Type In APLA Through C++

With the improvement of science and social productivity,software has become more and more important during the forty years. But the efficiency of developing software is very low. Moreover,software products still have many defaults universally up to the present. For example,the quality is not good and the reliability can't be guaranteed totally. Consequently,the harm brought by the defaults in software is becoming more serious,and the amount of software products can't keep the pace with the needs of people. How to work out the programs with high reliability has troubled the developer for a long time,which is also the key to the rapid development of software industry.In order to modify the current situation of software development,improving the reliability of the products,Pro. Xue put forward a generally accommodated method -PAR method which create a new approach for programming.The thesis,which is a important part of the PAR method,is the important content of the project supported by the National Natural Science Foundation of China-"The research of a practical formal developing method and its tools". Its main target is correct realization of the abstract data in APLA,and its main content is:1. By analyzing the current methods of programming,including formal methods and informal methods,we found a suitable approach which can help us to realize abstract data in APLA correctly.2. By using the PAR method and transforming system,we implement the abstract data in APLA correctly.3. We import the generic programming theory into the C++ class library through studying the idea of generic programming,achieve the generic programming in APLA program.4. We also test the C++ class library by many examples what are transformed by APLA-C++ system. In addition,we also develop any algorithm program by using the PAR method and the transformingsystem.The C++ class library and APLA-C++ transforming machine compose the APLA-C++ system with high reliability,which has transformed many examples correctly,and the running results are correct.