Extensional properties, e.g. extensional equality, relate to the "black-box" behaviour of an object, i.e. how its output depends on its input. The opposite is intensional which concerns how the object is implemented.
Updated: Wed Feb 22 21:10:45 2017
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985