Quote

The establishment of formal standards for proofs about programs... and the proposal that the semantics of a programming language may be defined independently of all processors for that language, by establishing standards of rigor for proofs about programs in the language, appears to be novel.

Robert W. Floyd

Change background

T
T
T

Change font

TAGS & TOPICS

Robert W. Floyd
Age: 65 †
Born: 1936
Born: June 8
Died: 2001
Died: September 25
Computer Scientist
Engineer
University Teacher
New York City
New York
Robert Floyd
Bob Floyd
May
Establishment
Proofs
Appears
Rigor
Defined
Independently
Proof
Establishing
Standards
Proposal
Program
Programs
Novel
Formal
Processors
Language
Programming
Semantics

More quotes by Robert W. Floyd

Image
It is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of verifiability... This fact offers the possibility of automatic verification of programs, the programmer merely tagging entrances and one edge in each innermost loop.
Robert W. Floyd
Image
My message to the serious programmer is this: spend a part of your working day examining and refining your own methods. Even though programmers are always struggling to meet some future or past deadline, methodological abstraction is a wise long term investment.
Robert W. Floyd