Reasoning About Time in Higher-Level Language Software

  title={Reasoning About Time in Higher-Level Language Software},
  author={Alan C. Shaw},
  journal={IEEE Trans. Software Eng.},
A methodology for specifying and proving assertions about time in higher-level language programs is described. The approach develops three ideas: the distinction between, and treatment of, both real time and computer times; the use of upper and lower bounds on the execution times of program elements; and a simple extension of Hoare logic to include the eeects of the passage of real time. Schemas and examples of timing bounds and assertions are presented for a variety of diierent statement types… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 424 citations. REVIEW CITATIONS



Citations per Year

424 Citations

Semantic Scholar estimates that this publication has 424 citations based on the available data.

See our FAQ for additional information.