pldb paper dnaCorrectness-Preserving Program Transformations
POPL 1975 · Susan L. Gerhart
In the DNA of
16 papers
that cite it, within PLDB
pldb.kirancodes.me/fun/dna · within PLDB
pldb paper dnaWithin PLDB. The venues are those of the paper's own references that are in PLDB. Ancestral venues: all of the paper's weight starts on it and, 3 times, every paper splits its weight evenly over the PLDB papers it cites; weight stops at founders (cite nothing in PLDB, or before 1980). Links to other versions of a paper are dropped.