The algebraic specification of abstract data types |
| |
| Authors: | J. V. Guttag J. J. Horning |
| |
| Affiliation: | (1) Computer Science Department, University of Southern California, 90007 Los Angeles, CA, USA;(2) Computer Systems Research Group, University of Toronto, M5S 1A4 Toronto, Canada;(3) Present address: Xerox Research Center, 3333 Coyote Hill Road, 94304 Palo Alto, CA, USA |
| |
| Abstract: | Summary There have been many recent proposals for embedding abstract data types in programming languages. In order to reason about programs using abstract data types, it is desirable to specify their properties at an abstract level, independent of any particular implementation. This paper presents an algebraic technique for such specifications, develops some of the formal properties of the technique, and shows that these provide useful guidelines for the construction of adequate specifications.Supported in part by the National Science Foundation under grant MCS-76-06089 and the Joint Services Electronics Program monitored by the Air Force Office of the Scientific Research under contract F44620-72C-0061Supported in part by the National Research Council of Canada. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
