论文信息 - Algorithm Theories and Design Tactics - 字舞流文

Algorithm Theories and Design Tactics

We are arguing that main problems of data structures i.e. specification, implementation, verification,

Andrzej Salwicki | M. Lowry | Douglas R. Smith

[1] Grazyna Mirkowska,et al. Algorithmic logic with nondeterministic programs , 1980, Fundam. Informaticae.

[2] Wiktor Danko. A Criterion of Undecidability of Algorithmic Theories , 1981, Fundam. Informaticae.

[3] Andrzej Salwicki. On the Algorithmic Theory of Dictionaries , 1979, Logic of Programs.

[4] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .

[5] John V. Guttag,et al. Abstract data types and the development of data structures , 1977, CACM.

[6] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..

[7] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .

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

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

[10] Andrzej Salwicki. On the algorithmic theory of stacks , 1980, Fundam. Informaticae.

[11] Denis J. Kfoury. Comparing Algebraic Structures up to Algorithmic Equivalence , 1972, ICALP.

[12] M. D. McIlroy. Alternatives to extensible languages , 1969, SIGP.