For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms.
Robert FloydRelated topics
automatic clear computer found following having helping reliable science synthesis software verification programming semanticsRelated quotes
If Edison had a needle to find in a haystack, he would proceed at once with the diligence of the bee to examine straw after straw until he found the object of his search. ... I was a sorry witness of such doings, knowing that a little theory and calculation would have saved him ninety per cent of his labor.
Nikola Tesla
Intelligence makes clear to us the interrelationship of means and ends. But mere thinking cannot give us a sense of the ultimate and fundamental ends. To make clear these fundamental ends and valuations and to set them fast in the emotional life of the individual, seems to me precisely the most important function which religion has to form in the social life of man.
Albert Einstein
A human being should be able to change a diaper, plan an invasion, butcher a hog, conn a ship, design a building, write a sonnet, balance accounts, build a wall, set a bone, comfort the dying, take orders, give orders, cooperate, act alone, solve equations, analyze a new problem, pitch manure, program a computer, cook a tasty meal, fight efficiently, die gallantly.
Robert A. Heinlein
It's simply unrealistic to depend on secrecy for security in computer software. You may be able to keep the exact workings of the program out of general circulation, but can you prevent the code from being reverse-engineered by serious opponents? Probably not. The secret to strong security: less reliance on secrets.
Whitfield Diffie
