The realization of an abstract programming language is a good approach for automating the software production process and facilitating the correctness proof of a software system. This paper introduces a formal languag...
详细信息
The realization of an abstract programming language is a good approach for automating the software production process and facilitating the correctness proof of a software system. This paper introduces a formal language for programming at the abstract level by combining Pascal with VDM (Vienna Development Method). The notation provided by the language obliges programmers to consider the correctness of programs throughout the whole process of programming, and the proof axiom and rules presented in this paper may be used to prove the correctness of programs. A complete example is given to illustrate how to program using APL and how to prove the correctness of programs using the given axiom and rules.
An abstract model of a processor is presented informally. The model can be used by itself to abstractly describe algorithms, or with a direct implementation to write and run programs, or as the foundation of a program...
详细信息
An abstract model of a processor is presented informally. The model can be used by itself to abstractly describe algorithms, or with a direct implementation to write and run programs, or as the foundation of a programming language. In the last case, a translator allows higher level descriptions of algorithms for the model.
In this paper we study the abstract convex program where S is an arbitrary convex cone in a finite dimensional space, Ω is a convex set and p and g are respectively convex and S-convex (on Ω). We use the concept of ...
详细信息
This paper discusses various approaches to programming, defining and highlighting Transformational Implementation;it then examines the basic causes of the software problem and their resolution with Transformational Im...
详细信息
This paper presents characterizations of optimality for the abstract convex program when S is an arbitrary convex cone in a finite dimensional space, Ω is a convex set and p and g are respectively convex and S-convex...
详细信息
This paper discusses various approaches to programming, defining and highlighting Transformational Implementation; it then examines the basic causes of the software problem and their resolution with Transformational I...
详细信息
This paper discusses various approaches to programming, defining and highlighting Transformational Implementation; it then examines the basic causes of the software problem and their resolution with Transformational Implementation. Finally, an example illustrating the approach is given.
暂无评论