In computer science, program analysis is the process of automatically analysing the behavior of computer programs. Two main approaches in program analysis are static program analysis and dynamic program analysis. Main applications of program analysis are program correctness and program optimization. Techniques related to program analysis include: control-flow and data-flow analysis constraint-based analysis abstract interpretation, type and effect systems.
more from Wikipedia
Lisp (programming language)
Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized Polish prefix notation. Originally specified in 1958, Lisp is the second-oldest high-level programming language in widespread use today; only Fortran is older (by one year). Like Fortran, Lisp has changed a great deal since its early days, and a number of dialects have existed over its history.
more from 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. A computer requires programs to function, typically executing the program's instructions in a central processor. The program has an executable form that the computer can use directly to execute the instructions.
more from Wikipedia
Closed-form expression
In mathematics, an expression is said to be a closed-form expression if it can be expressed analytically in terms of a finite number of certain "well-known" functions. Typically, these well-known functions are defined to be elementary functions¿constants, one variable x, elementary operations of arithmetic (+ ¿ × ÷), nth roots, exponent and logarithm (which thus also include trigonometric functions and inverse trigonometric functions).
more from Wikipedia
Mechanization
Mechanization or mechanisation is the process of doing work with machinery. In an early engineering text a machine is defined as follows: ¿Every machine is constructed for the purpose of performing certain mechanical operations, each of which supposes the existence of two other things besides the machine in question, namely, a moving power, and an object subject to the operation, which may be termed the work to be done.
more from Wikipedia
Mathematical analysis
Mathematical analysis, which mathematicians refer to simply as analysis, is a branch of pure mathematics that includes the theories of differentiation, integration and measure, limits, infinite series, and analytic functions. These theories are often studied in the context of real numbers, complex numbers, and real and complex functions. Analysis may be conventionally distinguished from geometry.
more from Wikipedia