×

Affine relationships among variables of a program. (English) Zbl 0358.68025


MSC:

68N01 General topics in the theory of software
68W99 Algorithms in computer science
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] MacLane, S., Birkhoff, G.: Algebra. New York: MacMillan 1967 · Zbl 0153.32401
[2] Munkres, J. R.: Elementary linear algebra. Reading (Mass.): Addison-Wesley 1964 · Zbl 0128.01703
[3] Floyd, R.: Assigning meanings to programs. In: Schwartz, J. (ed.): Mathematical aspects of computer science 19. Providence (R.I.): American Mathematical Society 1967, p. 19-32
[4] Wegbreit, Ben: Property extraction in well-Founded property sets. Center for Research in Computing Technology, Harvard University, Cambridge (Mass.) and Computer Science Division, Bolt, Beranek, and Newman, Inc., Cambridge (Mass.), February 1973
[5] Karr, M.: Gathering information about Programs. Massachusetts Computer Associates, Inc., (In preparation)
[6] Birkhoff, G.: Lattice theory. Colloquium Publication XXV, 3. Ed., Providence (R.I.): American Mathematical Society 1973 · Zbl 0063.00402
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.