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

Keijiro Araki; Takeshi Hayashi; Kazuo Ushijima

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

Keijiro Araki, Takeshi Hayashi, Kazuo Ushijima

Advanced Software Engineering

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	301-325
Number of pages	25
Journal	Mem Fac Eng Kyushu Univ
Volume	38
Issue number	4
Publication status	Published - Jan 1 1978

All Science Journal Classification (ASJC) codes

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

Cite this

@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 = jan,

day = "1",

language = "English",

volume = "38",

pages = "301--325",

journal = "Mem Fac Eng Kyushu Univ",

issn = "0023-6160",

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

SN - 0023-6160

VL - 38

SP - 301

EP - 325

JO - Mem Fac Eng Kyushu Univ

JF - Mem Fac Eng Kyushu Univ

IS - 4

ER -

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

Abstract

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this