Formal specification of data abstraction in FORTRAN 77: abstract arrays
作者:
A.Colbrook,
C.Smythe,
期刊:
Software Engineering Journal
(IET Available online 1990)
卷期:
Volume 5,
issue 3
页码: 151-159
年代: 1990
DOI:10.1049/sej.1990.0017
出版商: IEE
数据来源: IET
摘要:
The emphasis of data organisation on the specification, design and implementation of large systems raises the question whether data abstraction may be applied to programming languages designed before the widespread use of such techniques. The data abstraction facilities available in FORTRAN 77 are considered, and it is shown that encapsulation is possible for simple data structures. An abstract array data structure is pecified and further refined to allow the definition of iterators. An example of this structure is implemented in FORTRAN 77. The introduction of a series of abstractions is thus made possible, which facilitates structured development and efficient maintenance.
点击下载:
PDF
(3881KB)
返 回