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

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 Floyd

Related topics

establishing establishment formal language novel rigor programming semantics

Related quotes

I believe whoever is in power, people should fight the establishment over issues. This is the weakness of our democracy. We vote, then for five years we remain dormant. The farmers' movement will remain but we need a formal political party to fight elections.

V. P. Singh

In today's computer science curricula ... almost all their time is devoted to formal classification of syntactic language types, defeatist unsolvability theories, folklore about systems programming, and generally trivial fragments of "optimization of logic design"

Marvin Minsky

Extreme Programming is the most prominent new, light-weight (or agile) methods, defined to contrast the current heavy-weight and partially overloaded object-oriented methods. It focuses on the core issues of software technology. One of its principles is not to rely on diagrams to document a system.

Bernhard Rumpe

Art is most simply and most usually defined as an attempt to create pleasing forms. Such forms satisfy our sense of beauty and the sense of beauty is satisfied when we are able to appreciate a unity or harmony of formal relations among our sense-perceptions.

Herbert Read

A novel, or indeed any work of art, is not intended to be a literal transcription from Nature. ... Life is a series of false values. There it is always the little things that are greatest. Art attempts to remedy this. It may be defined as an expurgated edition of Nature.

James Branch Cabell