II
Abstract
It is well known that the main characteristic of the software crisis is that software
development is difficult, production efficiency is low, the correctness and reliability
are not been guaranteed, while the generic language mechanism and generic
programming in high-level programming language are also known as parametric
programming, which is effective way to improve the software reliability and
production efficiency. So the modern advanced programming languages, such as Java,
C++, C# and Ada, have generic language mechanisms. Unfortunately, the types of
generic mechanisms in the high-level programming languages are very few and
generally have only a type as a parameter. A small number of languages also have
subroutine parameters. This is due to the complexity of the implementation of generic
language mechanisms in advanced programming languages. In recent years, at home
and abroad, the software industry is the effective way to implement generic
mechanism in the advanced programming language as a research object. In this paper,
the tutor of the author, Jinyun Xue, presides over a number of National Natural
Science Fund projects to put forward and effectively to achieve more new generic
language mechanism as a research target. In 2015, Jinyun Xue put forward a new type
of security generic mechanism for the type of (type), action (action), and abstract data
type (ADT) parameters on the ICFEM2015 International Conference held in Paris,
France. The research goal of this thesis is to effectively implement the new secure
generic programming mechanism in the Apla-Java program generation system.
Firstly, new generic language mechanism which urgently needs to be
implemented in the Apla-Java program generation system was systematically studied,
simplified the automatic conversion method of the Apla multiple assignment
statement to the Java programming language, effectively realized abstract data type
language mechanism, then introduced three secure generic languages mechanism in
modeling language Apla and proposed a new method for the realization of the generic
language mechanism in the Apla-Java program automatic generation system, and used
a variety of typical generic algorithm examples to verify correctness of this method
and validity of these generic mechanisms.
The main innovations of this paper are as follows:
万方数据
评论0
最新资源