Jingde Cheng

Learn More
This paper extends the notion of slicing, which was originally proposed and studied for sequential programs, to concurrent programs and presents a graph-theoretical approach to slicing concurrent programs. In addition to the usual control and data dependences proposed and studied for sequential programs, the paper introduces three new types of primary(More)
Program slicing has many applications such as program debugging, testing, maintenance, and complexity measurement. This paper concerns the problem of slicing concurrent object-oriented programs that has not been addressed in the literatures until now. To solve this problem, we propose a new program dependence representation named the system dependence net(More)
Program dependences are dependence relationships holding between statements in a program which can be used to infer about the behavior of the program. In this paper we propose a general framework for dependence analysis for concurrent logic programs, in particular for Flat Concurrent Prolog programs. The rst contribution of this paper is to present two(More)
1. Introduction A fundamental logic is indispensable for knowledge engineering to make various activities of construction, maintenance, and application of knowledge-based systems achievable within a uniform formal framework. As a conceptual tool underlying the activities, the logic should be as natural as possible for human logical thinking. iViany current(More)
In this paper a formal model for program dependence analysis of concurrent logic programs is proposed with the following contributions. First, two languageindependent program representations are presented for explicitly representing control ows and/or data ows in a concurrent logic program. Then based on these representations, program dependences between(More)
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we address the problem of slicing concurrent logic programs. To solve this problem, we propose three types of primary program dependences between arguments in concurrent logic programs, named the sharing dependence, communication(More)
Out of three types of RFID (Radio Frequency IDentification) tags, passive tags are widely used as they are cheaper and long-lasting. However, those tags are bounded with constraints, and also there is no acceptable method to manage the changing hands of the same tagged-product throughout the product lifecycle. Therefore, ensuring security and privacy of(More)