Quote


Voting: - 0 +
Student: "It doesn't seem like bulldozing since you aren't destroying things. It seems more like stenciling because you are making copies..."
Dexter: "Makin' cop-a's. Have you seen that SNL skit? No? Nevermind."
— Dexter Kozen, while lecturing about Completeness of Temporal Logic, which includes a technique called "bulldozing". · April 9, 2003