EXTENSION OF PRATT'S DYNAMIC LOGIC TO PROGRAMS WITH STRUCTURED DATA.

Keijiro Araki, Takeshi Hayashi, Kazuo Ushijima

研究成果: Contribution to journalArticle査読

抄録

Pratt's dynamic logic is extended to encompass programs with Pascal-like pointers and record variables. In this way more complicated data structures may be described. Some examples are given on application of this extension for a program to a linked stack. Formal justification of the backward transformations for assignment statements concerning pointers and records is presented.

本文言語英語
ページ(範囲)301-325
ページ数25
ジャーナルMem Fac Eng Kyushu Univ
38
4
出版ステータス出版済み - 1 1 1978

All Science Journal Classification (ASJC) codes

  • エネルギー(全般)
  • 大気科学
  • 地球惑星科学(全般)
  • 技術マネージメントおよび技術革新管理

フィンガープリント

「EXTENSION OF PRATT'S DYNAMIC LOGIC TO PROGRAMS WITH STRUCTURED DATA.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル