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

Keijiro Araki, Takeshi Hayashi, Kazuo Ushijima

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish
Pages (from-to)301-325
Number of pages25
JournalMem Fac Eng Kyushu Univ
Volume38
Issue number4
Publication statusPublished - Jan 1 1978

All Science Journal Classification (ASJC) codes

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

Fingerprint Dive into the research topics of 'EXTENSION OF PRATT'S DYNAMIC LOGIC TO PROGRAMS WITH STRUCTURED DATA.'. Together they form a unique fingerprint.

  • Cite this

    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.