Computable Implementations of Algebraic Specifications
Zhi-Jian Li · Huadong Shifan Daxue xuebao. Ziran kexue ban · 1991
This paper presents the definition of computable implementation of algebraic s pecification, and shows the theorem that every computable implementation can be formally specified by a special 3-tuple.On the basis of the theorem, we can further discuss other properties of computable implementation.