論文

査読有り
1996年7月

Integrating different versions of programs with backward and forward slices

SCIENCE OF COMPUTER PROGRAMMING
  • S Nishimura

27
1
開始ページ
1
終了ページ
35
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.1016/0167-6423(95)00018-6
出版者・発行元
ELSEVIER SCIENCE BV

A program difference integration algorithm, which integrates two different versions of programs derived from an original program into a common one, is given. The algorithm uses two kinds of program slices: backward slice and forward slice, which enables the algorithm to integrate a class of programs that cannot be integrated by the existing algorithms. The class includes such significant programs that one version is obtained by modifying then clause of an if statement in the original program and the other is obtained by modifying else clause of the if statement. It is also shown that the algorithm satisfies associativity by regarding a program as a Boolean algebra in which the algorithm is expressed by an integration operation whose associativity is easily proved. The algorithm's associativity is shown by the correspondence between the algorithm and the algebra.

Web of Science ® 被引用回数 : 4

リンク情報
DOI
https://doi.org/10.1016/0167-6423(95)00018-6
J-GLOBAL
https://jglobal.jst.go.jp/detail?JGLOBAL_ID=200902118999859731
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:A1996UR23400001&DestApp=WOS_CPL
ID情報
  • DOI : 10.1016/0167-6423(95)00018-6
  • ISSN : 0167-6423
  • eISSN : 1872-7964
  • J-Global ID : 200902118999859731
  • Web of Science ID : WOS:A1996UR23400001

エクスポート
BibTeX RIS