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

Keijiro Araki, Takeshi Hayashi, Kazuo Ushijima

研究成果: ジャーナルへの寄稿記事

抜粋

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

  • Energy(all)
  • Atmospheric Science
  • Earth and Planetary Sciences(all)
  • Management of Technology and Innovation

これを引用

Araki, K., Hayashi, T., & Ushijima, K. (1978). EXTENSION OF PRATT'S DYNAMIC LOGIC TO PROGRAMS WITH STRUCTURED DATA. Mem Fac Eng Kyushu Univ, 38(4), 301-325.