Abstract Interpretation - Tools

Famous quotes containing the word tools:

“But lo! men have become the tools of their tools.”
—Henry David Thoreau (1817–1862)

“There is a great satisfaction in building good tools for other people to use.”
—Freeman Dyson (b. 1923)

“At the utmost, the active-minded young man should ask of his teacher only mastery of his tools. The young man himself, the subject of education, is a certain form of energy; the object to be gained is economy of his force; the training is partly the clearing away of obstacles, partly the direct application of effort. Once acquired, the tools and models may be thrown away.”
—Henry Brooks Adams (1838–1918)