• 検索結果がありません。

強制制御を持つプログラム構造の形式化

N/A
N/A
Info
ダウンロード
Protected

Academic year: 2021

シェア "強制制御を持つプログラム構造の形式化"

Copied!
1
0
0

読み込み中.... (全文を見る)

今ダウンロードする ( 1 ページ )

全文

(1)Vol. 42. No. SIG 7(PRO 11). July 2001. 情報処理学会論文誌：プログラミング. 発表概要. 強制制御を持つプログラム構造の形式化 佐. 藤. 匡. 正†. プログラム開発のレビューや保守においては，プログラムの正当性の確認や修正のために移動や展 開といった処理の変形が行われる．この変形を正規表現によって形式化する考えがある．この場合， 正規表現は強制戻りや繰返しの打切りなどを持つ構造に対しては適用できない．本発表では，正規表 現を拡張してこれらに対しても適用できる方法について論ずる．本方法では，これらの強制制御を特 別な文字によって表した正規表現を作っておき，この表現から特別な文字を取り除く演算によってオ リジナルな正規表現に変換する．本方法によって強制制御を持つプログラム構造が直接正規表現とし て表せ，構造上の変形が式変形によって行える．. Formalization of Program Structures with Control Breaks Tadamasa Satou† During reviw or maintenance process, program transformations, such as moving or developing partially in programs, would be done to verify or modify. The operations can be formalized by using the regular expression (RE). The application of RE, however, is limited to covering such structures without returns in a module and breaks of iterations. This paper presents a discussion on a method of extended RE to be applicable to those structures. The method is firstly to express programs in RE forms including special letters for returns and breaks, and secondly to remove the special letters into original RE forms by an operation. With the method, programs can be expressed in RE forms directly denoting transformation in programs.. (平成 12 年 11 月 16 日発表). † 島根大学総合理工学部 Faculty of Science and Engineering, Shimane University. 86.

(2)

参照

今ダウンロードする ( PDF - 1 ページ - 28.50 KB )

関連したドキュメント

or Small Denominators

In this paper, we study the solvability and nonsolvability of a singular nonlinear system of partial differential equations which appear in the normal form theory of vector fields. It

HerbicidePostemergence herbicide for control of broadleaf weeds in wheat and barley.

Weed control following application of Talinor herbicide alone or in combination with other herbicides can be reduced or delayed under conditions of stress such as drought,

InsecticideFor uses in pest management and control or suppression of insects that mayvector diseases and maintenance of plant health.

1) Chemigation into root zone through low-pressure drip, trickle, micro-sprinkler or equivalent equipment. For optimum results, apply to newly planted trees or those previously

AEO program

1) “Prior Consultation with Customs”: This process is not mandatory, however, any operator who wants to be an applicant can contact regional Customs to get the necessary

INTERNATIONAL MASTER’S PROGRAM IN JAPANESE HUMANITIES INTERNATIONAL DOCTORATE IN JAPANESE HUMANITIES

JAPAN STUDIES PROGRAMS IN ENGLISH AT THE GRADUATE SCHOOL OF HUMANITIES THE INTERNATIONAL MASTER’S PROGRAM (IMAP) IN JAPANESE HUMANITIES AND THE INTERNATIONAL DOCTORATE (IDOC)

NCV75215 Ultrasonic Parking Distance Measurement ASSP

EEPROM data (ECC bits not included) CRC code is automatically calculated and stored into EEPROM as a part of Program EEPROM process. CRC stored in EEPROM is compared with CRC

HerbicideFor weed control in corn and grain or forage sorghum

Precautions: In the event of escape of annual weeds following an early preplant, preplant surface, preplant incor- porated, or preemergence treatment of Bicep II Magnum applied alone

For use as a preemergence weed control herbicide in turfgrass, landscape or grounds maintenance, noncropland areas, and ornamental production

LESCO Pre-M AquaCap Herbicide may be used with herbicides registered for postemergence application (i.e. Roundup ® herbicide or Finale ® herbicide) for control of established weeds..