Abstract Interpretation - Tools

Famous quotes containing the word tools:

“Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.”
—Ludwig Wittgenstein (1889–1951)

“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)

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