ACM DL

Computing Surveys (CSUR)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Computing Surveys (CSUR), Volume 18 Issue 3, Sept. 1986

Formal models of stepwise refinements of programs
Ali Mili, Jules Desharnais, Jean Raynomd Gagné
Pages: 231-276
DOI: 10.1145/27632.28054
Of the many ways to express program specifications, three of the most common are: as a pair of assertions, an input assertion and an output assertion; as a function mapping legal inputs to correct outputs; or as a relation containing the...

Elimination algorithms for data flow analysis
Barbara G. Ryder, Marvin C. Paull
Pages: 277-316
DOI: 10.1145/27632.27649
A unified model of a family of data flow algorithms, called elimination methods, is presented. The algorithms, which gather information about the definition and use of data in a program or a set of programs, are characterized by the manner in...