Program (mathematical object)
- Program (mathematical object)
A program is a mathematical space suggested by John Backus. He wished to turn computer programming into a formal science by strictly defining it.
Informally, a mathematical space "S" is a set "Sobj" of the objects themselves "and" a set "Sopr" of operations on "Sobj" which map (Sobj)n into Sobj and are interrelated by algebraic laws.Backus argued that if computer programming is to turn more into a science (let alone an engineering discipline) and less of an art, it first has to become a truly mathematical discipline. And in order to become a mathematical discipline, he claimed, it is important to find a way to make the space of programs a mathematical space with respect to the program-forming operations (functionals) over that space, as distinguished from the space of values and the value-forming operations over it (functions).
The most useful laws are those that display some kind of symmetry, such as the distributive law that relates two operations OA and OB in a manner which OA, combining values formed by OB, is expressed as OB combining values formed by OA. Other, somewhat less useful, laws may display a symmetry that relates more than two operations.
The more and more useful laws present on Sopr, the "stronger" is their algebraic structure and the "mathematical structure" of the space S.
ee also
* Function-level programming
* Value-level programming (contrast)
* FP programming language
External links
*J. Backus, " [http://portal.acm.org/citation.cfm?id=806757 Function level programs as mathematical objects] "
Wikimedia Foundation.
2010.
Look at other dictionaries:
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Object — may refer to: Object (philosophy), a thing, being or concept Entity, something that is tangible and within the grasp of the senses As used in object relations theories of psychoanalysis, that to which a subject relates. Object (grammar), a… … Wikipedia
Object language — An object language is a language which is the object of study in various fields including logic, linguistics, mathematics and theoretical computer science. The language being used to talk about an object language is called a metalanguage. An… … Wikipedia
Mathematical economics — Economics … Wikipedia
Object Process Graph — An Object Process Graph (OPG) is a general purpose executable graph that incorporates every aspect of an application, including process, user interface, and database.[1][2][3] No programming language, tool, or database is required to handle any… … Wikipedia
Program optimization — For algorithms to solve other optimization problems, see Optimization (mathematics). In computer science, program optimization or software optimization is the process of modifying a software system to make some aspect of it work more efficiently… … Wikipedia
Courant Institute of Mathematical Sciences — (CIMS) Established 1935 Type Private Academic staff 82 … Wikipedia
Function object — A function object, also called a functor or functional, is a computer programming construct allowing an object to be invoked or called as if it were an ordinary function, usually with the same syntax.Function objects are unrelated to functors in… … Wikipedia
Computer program — A computer program (also software, or just a program) is a sequence of instructions written to perform a specified task with a computer.[1] A computer requires programs to function, typically executing the program s instructions in a central… … Wikipedia
