| Autor: |
Ernst, George W., Ogden, William F. |
| Zdroj: |
ACM Transactions on Programming Languages & Systems. Oct1980, Vol. 2 Issue 4, p522-543. 22p. |
| Abstrakt: |
The programming language MODULA is extended to permit the formal specification of the structure and functional capabilities of modules. This makes true hierarchical programming possible in MODULA by allowing programmers of higher level parts of a system to ignore completely the internal structure of lower level modules and to rely entirely on the specifications of the capabilities of these modules. An example is included to illustrate this technique. We show that our specification mechanisms are sufficiently powerful to support formal verification rules for modules that have disjoint representations for abstract objects. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Library, Information Science & Technology Abstracts |
| Externí odkaz: |
|
