The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (1987 vol.13)
pp: 1364-1369
N.Y. Foo , Department of Computer Science, University of Sydney
ABSTRACT
Algebraic specifications for datatypes are shown to be easy to write if succinct implementation descriptions are available. The method proposed solves out the implementation details, leaving behind the specification required. A number of examples illustrate the method. However it is also shown that in general the solution is not algorithmic. A connection to the correctness problem for implementations is made.
INDEX TERMS
unification, Abstraction, algebraic specification, datatype, implementation correctness
CITATION
N.Y. Foo, "Algebraic Specifications as Solutions of Implementation Equations", IEEE Transactions on Software Engineering, vol.13, no. 12, pp. 1364-1369, December 1987, doi:10.1109/TSE.1987.233146
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool