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: Thu Dec 8 14:48:58 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985