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
Externally publishedYes

Fingerprint

Data structures
Logic
programme
Justification
Assignment
stack

All Science Journal Classification (ASJC) codes

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

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.

EXTENSION OF PRATT'S DYNAMIC LOGIC TO PROGRAMS WITH STRUCTURED DATA. / Araki, Keijiro; Hayashi, Takeshi; Ushijima, Kazuo.

In: Mem Fac Eng Kyushu Univ, Vol. 38, No. 4, 01.01.1978, p. 301-325.

Research output: Contribution to journalArticle

Araki, K, Hayashi, T & Ushijima, K 1978, 'EXTENSION OF PRATT'S DYNAMIC LOGIC TO PROGRAMS WITH STRUCTURED DATA.', Mem Fac Eng Kyushu Univ, vol. 38, no. 4, pp. 301-325.
Araki, Keijiro ; Hayashi, Takeshi ; Ushijima, Kazuo. / EXTENSION OF PRATT'S DYNAMIC LOGIC TO PROGRAMS WITH STRUCTURED DATA. In: Mem Fac Eng Kyushu Univ. 1978 ; Vol. 38, No. 4. pp. 301-325.
@article{b4b49003883d4c85a42085543e18a29d,
title = "EXTENSION OF PRATT'S DYNAMIC LOGIC TO PROGRAMS WITH STRUCTURED DATA.",
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.",
author = "Keijiro Araki and Takeshi Hayashi and Kazuo Ushijima",
year = "1978",
month = "1",
day = "1",
language = "English",
volume = "38",
pages = "301--325",
journal = "Memoirs of the Faculty of Engineering, Kyushu University",
issn = "1345-868X",
publisher = "Kyushu University, Faculty of Science",
number = "4",

}

TY - JOUR

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

AU - Araki, Keijiro

AU - Hayashi, Takeshi

AU - Ushijima, Kazuo

PY - 1978/1/1

Y1 - 1978/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0018167969&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0018167969&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0018167969

VL - 38

SP - 301

EP - 325

JO - Memoirs of the Faculty of Engineering, Kyushu University

JF - Memoirs of the Faculty of Engineering, Kyushu University

SN - 1345-868X

IS - 4

ER -