Symbolic evaluation of programs: a look at loop analysis

Authors:
T. E. Cheatham;J. A. Townley
Affiliations:
-;-
Venue:
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Year:
1976

Citing 3
Cited 12

Logical analysis of programs

Communications of the ACM
SELECT—a formal system for testing and debugging programs by symbolic execution

Proceedings of the international conference on Reliable software
A program verifier

A program verifier

Program Improvement by Source-to-Source Transformation

Journal of the ACM (JACM)
Summation in Finite Terms

Journal of the ACM (JACM)
Pragmatic techniques for program analysis and verification

ICSE '79 Proceedings of the 4th international conference on Software engineering
Automatic synthesis of optimal invariant assertions: Mathematical foundations

Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Static determination of dynamic properties of generalized type unions

Proceedings of an ACM conference on Language design for reliable software
Computing Properties of Numerical Imperative Programs by Symbolic Computation

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Harnessing a Refinement Theory to Compute Loop Functions

Electronic Notes in Theoretical Computer Science (ENTCS)
Mathematics for reasoning about loop functions

Science of Computer Programming
Reflexive transitive invariant relations: A basis for computing loop functions

Journal of Symbolic Computation
Computing Properties of Numerical Imperative Programs by Symbolic Computation

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Invariant functions and invariant relations: An alternative to invariant assertions

Journal of Symbolic Computation
Invariant relations, invariant functions, and loop functions

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The past several years have witnessed a growing concern with the high cost of software development and maintenance. The usual reaction to this has been administrative—to organize programming activities better (the Chief Programmer Team); to improve the structure of programming languages, and thus, hopefully, the programs written in them; or to propose that formal “specifications” be developed for a program before the coding of it in some programming language commences.