Optimization (computer science): Difference between revisions
Jump to navigation
Jump to search
imported>Nick Johnson m (added categories) |
imported>Nick Johnson (major mistake; replaced non-halting with halting) |
||
| Line 1: | Line 1: | ||
In [[computer science]], particularly in the study of [[compiler|compilers]], an '''optimization''' is a transformation of computer programs that, when applied to a computer program P, produces an equivalent program P' which is in some way more optimal (i.e. faster, less memory consumption, etc). More formally, equivalent is defined so that for all [[halting problem| | In [[computer science]], particularly in the study of [[compiler|compilers]], an '''optimization''' is a transformation of computer programs that, when applied to a computer program P, produces an equivalent program P' which is in some way more optimal (i.e. faster, less memory consumption, etc). More formally, equivalent is defined so that for all [[halting problem|halting]] inputs to P, P' will produce the same outputs. | ||
== See Also == | == See Also == | ||
Revision as of 10:21, 12 April 2007
In computer science, particularly in the study of compilers, an optimization is a transformation of computer programs that, when applied to a computer program P, produces an equivalent program P' which is in some way more optimal (i.e. faster, less memory consumption, etc). More formally, equivalent is defined so that for all halting inputs to P, P' will produce the same outputs.