Concept programming: Difference between revisions

Revision as of 10:25, 14 January 2007

Revision as of 10:27, 14 January 2007

Line 10:

* ''Signal/noise ratio'' measures what fraction of the code space is used for representing actual concepts, as opposed to implementation information.

== Rule of equivalence, and equivalence breakdown ==

The ''rule of equivalence'' is verified when the code behavior matches the original concept. This equivalence may break down in a number ofmany cases. Integer overflow breaks the equivalence between the mathematical integer concept and the computerized approximation of the concept.

A number ofMany ways to break the equivalence have been given specific names, because they are very common:

* A ''___domain error'' is a condition where code executes outside of the ''___domain of equivalence'', which is the ___domain where the concept and the implementation match. An integer overflow is an example of ___domain error.