Design of algebraic data structures with the approach of abstract data types
暂无分享,去创建一个
[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 .