Expressive Power of Specification Languages
Ian J. Hayes · Formal Aspects of Computing · 1998
Abstract. By abstracting away from a particular specification language and considering a ‘specification’ to be just a set of implementations, one can define a partial order on specification languages that reflects their expressive power. In addition, one can show that there is no universal specification language that can express all such ‘specifications’.