论文信息 - Make more of data types

Make more of data types

This position paper refers to some observations I made at the 'High Level Abstraction Workshop', and it exhibits a way to attack abstraction and specification problems in the database field. Because of the fixed page limit this will be done in a more or less cursory collection of remarks.

Heinrich C. Mayr

[1] John V. Guttag,et al. Notes on Type Abstraction , 1978, Program Construction.

[2] Hartmut Ehrig,et al. Algebraic Specification Schemes for Data Base Systems , 1978, VLDB.

[3] Heinrich C. Mayr,et al. Data abstractions for database systems , 1979, TODS.

[4] Craig Schaffert,et al. Abstraction mechanisms in CLU , 1977, Commun. ACM.

[5] M. E. Majster. Extended directed graphs, a formalism for structured data and data structures , 1977 .

[6] C. A. R. Hoare,et al. Proof of correctness of data representation , 1975, Language Hierarchies and Interfaces.

[7] Michael L. Brodie. The application of data types to database semantic integrity , 1980, Inf. Syst..

[8] Mary Shaw,et al. An introduction to the construction and verification of Alphard programs , 1976, ICSE '76.

[9] James W. Thatcher,et al. Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.

[10] Lawrence Robinson,et al. The SRI International Hierarchical Development Handbook. Volume II. The Languages and Tools of HDM. , 1979 .

[11] Joseph A. Goguen,et al. Abstract Errors for Abstract Data Types , 1977, Formal Description of Programming Concepts.

[12] David R. Musser,et al. Abstract Data Type Specification in the Affirm System , 1980, IEEE Transactions on Software Engineering.

[13] J. D. Ichbiah,et al. Preliminary Ada reference manual , 1979, SIGP.