"The job of formal methods is to elucidate the assumptions upon which formal correctness depends."

--

Tony Hoare

#Jobs Quotes #Assumption Quotes #Formal Quotes

“Every artist has a very particular sound and style.”

Source : Source: www.billboard.com
“I wanna be loved. I just wanna be loved.”
“We are like roses that have never bothered to bloom when we should have bloomed and it is as if the sun has become disgusted with waiting”
“I always love using the girls behind the blocks to create even more energy. It's so much fun and so much energy to be with these girls, I love training with them and it's just so much fun to race next to them. I try to use that as much as I can.”
“All writers, I think, are to one extent or another, damaged people. Writing is our way of repairing ourselves.”
“But there are too many people that make so much money at the cost of lives of other humans and for no reason but to make the money.”
“In the West, the spirit is separate from the body. In the East these are things that are very real and concrete.”

Source : Interview with William Dowell, content.time.com. May 10, 1999.
“You can't magic yourself back 10 years.”

Source : "Paula Radcliffe set for surgery as Olympic preparation begins" by Barney Ronay, www.theguardian.com. September 26, 2011.

You may also like:

Bertrand Meyer
Author
Bill Gates
Investor
David Gries
Computer Scientist
Donald Knuth
Computer Scientist
Edsger Dijkstra
Computer Scientist
John Backus
Computer Scientist
Leslie Lamport
Computer Scientist
Niklaus Wirth
Computer Scientist
Robert W. Floyd
Computer Scientist