article · 2008

Program Logic and Program Analysis

Kohei Honda, Nobuko Yoshida, Martin Berger

Cited by 0Abstract and details only

Abstract

One of the central merits of compositional program logics [18] as a foundation of software engineering is their potential ability to describe a large class of properties of programs relative to a chosen notion of observability. One open issue in achieving such descriptive power has been the lack of a precise logical treatment of pragmatically significant language features such as higher-order procedures, expressions with side effects and shared mutable data structures.

Cite this paper

APA 7

Honda, K., Yoshida, N., & Berger, M. (2008). Program Logic and Program Analysis.

MLA 9

Honda, Kohei, et al. “Program Logic and Program Analysis.” 2008.

Chicago

Honda, Kohei, Nobuko Yoshida, and Martin Berger. 2008. “Program Logic and Program Analysis.”

Harvard

Honda, K., Yoshida, N. and Berger, M. (2008) ‘Program Logic and Program Analysis’.

BibTeX

@article{honda2008program,
  title = {{Program Logic and Program Analysis}},
  author = {Honda, Kohei and Yoshida, Nobuko and Berger, Martin},
  year = {2008}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.