论文信息 - Design of algebraic data structures with the approach of abstract data types

Design of algebraic data structures with the approach of abstract data types

The problem of giving a formal definition of the representation of algebraic data structures is considered and developped in the frame work of the abstract data types approach. Such concepts as canonical form and simplification are formalized and related to properties of the abstract specification and of the associated term rewriting system.

Giorgio Ausiello | Giovanni Mascari | G. Ausiello | G. Mascari

[1] Joel Moses,et al. Algebraic simplification: a guide for the perplexed , 1971, CACM.

[2] Gerard Huet,et al. Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[3] Joseph A. Goguen,et al. Putting Theories Together to Make Specifications , 1977, IJCAI.

[4] Giorgio Levi,et al. Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics , 1975, MFCS.

[5] Martin L. Griss. The definition and use of data structures in REDUCE , 1976, SYMSAC '76.

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

[7] Richard J. Fateman. ESSAYS IN ALGEBRAIC SIMPLIFICATION , 1972 .

[8] Anthony C. Hearn. A new REDUCE model for algebraic simplification , 1976, SYMSAC '76.

[9] Hartmut Ehrig,et al. Stepwise Specification and Implementation of Abstract Data Types , 1978, ICALP.

[10] John V. Guttag,et al. The specification and application to programming of abstract data types. , 1975 .

[11] Ellis Horowitz,et al. Fundamentals of Data Structures , 1984 .

[12] Rüdiger G. K. Loos. Toward a formal implementation of computer algebra , 1974, SIGS.

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

[14] Stephen N. Zilles,et al. Programming with abstract data types , 1974 .