| Since software crisis broke out in 60's,people have been puzzled by it. The program's reliability and development efficiency can't fulfil the society's need. On the one hand,software errors cause loss of money,time,or even human life;on the other hand,the useful codes that programmers develop per annum are few. Developing correct and efficient algorithmic programs has become a key topic in the computer science community. To solve the two problems,PAR method was brought forward. APLA-JAVA program transformer which this thesis researched is PAR method support tool. It is also one of keystone research content of National Natural Science Foundation of China. Based on the theory of automatization,formal method and program transforming,program transformer can transform the abstract APLA program to executable JAVA program automatically. And it can be used as a independent tool.The follow the main works of the thesis:1.research the corresponding relation between apla and Java and search the rule of transforming apla programs to Java programs.2.In the self-defined JAVA class library,input stream class,generic class,generic interface and five kinds of abstract data type were implement.3.Implement apla-java program transformer so that simple data types and compound data types can be transformed.4.denote typical arithmetics with apla and transform them to Java programs. 5 .implement a transforming model to resolve Java generic mechanism. We denote many typical arithmetics with apla,such as,non-recursive tree traversals,dijkstra,topological sorting etc. The test result indicates the program transformer can improve the program's reliability and development efficiency. It can replace softeware blue collar to complete mechanical and creative work.
|
PDF Full Text Request