How to Cope with the Spectrum of SPECTRUM
The specification language Spectrum [BFG+93] melts a wide range of concepts into a single language frame: three-valued first-order logic, polymorphism, type classes, higher-order functions, infinite objects. The desire of identifying and relating sub-languages satisfying certain constraints given by syntactical and pragmatic considerations appears.