Algorithms are the computational content of proofs.
If I ask another professor what he teaches in the introductory programming course, whether he answers proudly "Pascal" or diffidently "FORTRAN," I know that he is teaching a grammar, a set of semantic rules, and some finished algorithms, leaving the students to discover, on their own, some process of design.Robert Floyd (1979) "The Paradigms of Programming" 1978 Turing Award Lecture. Communications of the ACM Vol 22 (8) p. 455–460
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 w floyd
As the size of software systems increases, the algorithms and data structures of the computation no longer constitute the major design problems. When systems are constructed from many components, the organization of the overall system the software architecture presents a new set of design problems. This level of design has been addressed in a number of ways including informal diagrams and descriptive terms, module interconnection languages, templates and frameworks for systems that serve the needs of specific domains, and formal models of component integration mechanisms.David Garlan and Mary Shaw (1993). "An introduction to software architecture." Advances in software engineering and knowledge engineering Vol 1. p. 1-40. Abstract
Create and save customized word lists. Sign up today and start improving your vocabulary!