Nonterminating Rewritings with Head Boundedness
Chen Yiyun Department of Computer Science;University of Science and Technology of China;Hefei 230026

..............page:162-171

A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs
Shao Zhiqing Department of Computer Science;East China University of Chemical Technology;Shanghai 200237

..............page:155-161

Deductive Fault Simulation Algorithm Based on Fault Collapsing
Gong Yunzhan Wei Daozheng Center for Fault-Tolerant Computing;CAD Laboratory;Institute of Computing Technology Academia Sinica;Beijing 100080

..............page:182-187

Design Rationale for a Wide Spectrum Specification Language FGSPEC
Lu Jian Xu Jiafu Institute of Computer Software;Nanjing University;Nanjing 210008

..............page:138-146

On Local StratifiabUity of Logic Programs and Databases
Shen Yidong Tong Fu Cheng Daijie Department of Computer Science;Chongqing University;Chongqing 630044

..............page:99-107

A Knowledge-Based Specification Technique for Protocol Development
Zhang Yaoxue Shi Meilin Department of Computer Science;Tsinghua University;Beijing 100084Norio Shiratori Research Institute of Electrical Comm.;Tohoku University;Japan

..............page:188-192

Inductive Learning
Wu Xindong Department of Artificial Intelligence;University of Edinburgh;80 South Bridge;Edinburgh EHI IHN;UK

..............page:118-132

OOMMS:A Module Management System Based on an Object-Oriented Model
Pong Man-Chi Zhang Yongguang Xu Hong Ding Jie Institute of Software;Academia Sinica;Beijing 100080

..............page:172-181

Validating Inductive Hypotheses by Mode Inference
Wang Zhijian Institute of Computer Software;Nanjing University;Nanjing 210008

..............page:133-137

A Fixpoint Semantics for Stratified Databases
Shen Yidong Dept.of Computer Science;Chongqing University;Chongqing 630044

..............page:108-117

Two New Strategies for Developing Loop Invariants and Their Applications
Xue Jinyun Computer Science Department;Jiangxi Normal University;Nanchang 330027

..............page:147-154