#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1988

2016

- This year (0)
- Last 5 years (11)
- Last 10 years (44)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jinyun Xue
- Journal of Computer Science and Technology
- 1997

A unified approach called partition-and-recur for developing efficient and correct algorithmic programs is presented. An algorithm (represented by recurrence and initiation) is separated from program, and special attention is paid to algorithm manipulation rather than program calculus. An algorithm is exactly a set of mathematical formulae. It is easier for… (More)

- Jinyun Xue
- Journal of Computer Science and Technology
- 1998

In this paper, we derive, by presenting some suitable notations, three typical graph algorithms and corresponding programs using a unified approach, partition-and-recur. We put emphasis on the derivation rather than the algorithms themselves. The main ideas and ingenuity of these algorithms are revealed by formula deduction. Success in these examples gives… (More)

- Jinyun Xue
- Journal of Computer Science and Technology
- 1993

The loop invariants take a very important role in the design, proof and derivation of the algorithmic program. We point out the limitations of the traditional standard strategy for developing loop invariants, and propose two new strategies for proving the existing algorithmic program and developing new ones. The strategies use recurrence as vehicle and… (More)

- Yujun Zheng, Jinyun Xue
- Computing
- 2010

The paper presents a novel approach to formal algorithm design for a typical class of discrete optimization problems. Using a concise set of program calculation rules, our approach reduces a problem into subproblems with less complexity based on function decompositions, constructs the problem reduction graph that describes the recurrence relations between… (More)

- Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue
- FM
- 2006

- Jinyun Xue, Ruth Davis
- Software - Concepts and Tools
- 1997

- Yujun Zheng, Jinyun Xue, Weibo Liu
- TAMC
- 2006

- Jinyun Xue, David Gries
- Sci. Comput. Program.
- 1988

- Yujun Zheng, Jinyun Xue, Haihe Shi
- 2007 IEEE International Conference on Automation…
- 2007

Many problems in operations research can be formulated in terms of networks, among which the shortest path is a particularly important class. Using the PAR method, we formally derive and implement algorithmic programs for three typical network problems, including the shortest path tree (SPT) problem, the most vital edge (MVE) problem, and the real time… (More)

- Yujun Zheng, Lianlai Wang, Jinyun Xue
- PRIMA
- 2006