今日の英語 - Componential Set Based Analysis

study english

昨日の論文「A New Way of Debugging Lisp Programs」はあっさり読み終わった。実際の理論を紹介する「Componential Set Based Analysis」を読む。
まだ慣れないので意識しないとだらだら読んでしまう。

  • [論述スタイル] -
  • [topic sentence] Set based analysis is a constraint based whole program analysis that is applicable to functional and object oriented programming languages
  • [パラグラフの役割] support
  • [論述スタイル] -
  • [topic sentence]This paper presents componential set-based analysis which is faster and handles larger programs without any loss of accuracy over set-based analysis
  • [パラグラフの役割] main idea
  • [論述スタイル] 原因と結果
  • [topic sentence]Rices Scheme program development environment provides a static debugger MrSpidey which analyzes a program and using the results of this analysis checks the soundness of all computational primitives
  • [論述スタイル]
  • [topic sentence]The analysis consists of two comingled phases a derivation phase during which MrSpidey derives constraintsdescribing the dataow relationships of the analyzed
  • [論述スタイル] Howerver
  • [topic sentence] for debugging larger programs due to limitations in the underlying analysis which has an On worst case time bound
  • [論述スタイル] Furthermore 列挙
  • [topic sentence] we could solve the combined system of constraints in less time