Author:
Wang Yabo,Parnas David Lorge
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Baeten, J. C. M., Bergstra, J. A., and Klop, J. W. “Term Rewriting Systems with Priorities” Proceedings of the Second International Conference on Rewriting Techniques and Applications, France, Lecture Notes in Computer Science 256, pp. 83–94, 1987.
2. Book, R. V. “Thue Systems as Rewriting Systems” Journal of Symbolic Computation, 3, pp. 39–68, 1987.
3. Dershowitz, N. “Termination of Rewriting” Journal of Symbolic Computation, 3, pp. 69–116, 1987.
4. Goguen, J. A., Thatcher, J. W., and Wagner, E. “An Initial Algebra Approach to the Specification and Implementation of Abstract Data Types” Current Trends in Programming Methodology IV, R. T. Yeh (ed.), pp. 80–184, Prentice-Hall, 1978.
5. Guttag, J., and Horning, J. J. “The Algebraic Specification of Abstract Data Types” Acta Informatica 10, pp. 27–52, 1978.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Total Functional Software Engineering;Lecture Notes in Computer Science;2014