Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. E. Astesiano and M. Cerioli. Non-strict don't care algebras and specifications. In S. Abramsky and T.S.E. Maibaum, editors, Proceedings of TAPSOFT'91, number 493 in Lecture Notes in Computer Science, pages 121–142, Berlin, 1992. Springer Verlag.
2. E. Astesiano and M. Cerioli. Free objects and equational deduction for partial conditional specifications. Theoretical Computer Science, 1995. To appear.
3. E. Astesiano and M. Cerioli. Relationships between logical frames. In Recent Trends in Data Type Specification, number 655 in Lecture Notes in Computer Science, pages 126–143, Berlin, 1993. Springer Verlag.
4. E. Astesiano and M. Cerioli. Multiparadigm specification languages: a first attempt at foundations. In D.J. Andrews, J.F. Groote, and C.A. Middelburg, editors, Semantics of Specification Languages (SoSL'93), Workshops in Computing, pages 168–185. Springer Verlag, 1994.
5. J.A. Bergstra and J.V. Tucker. The inescapable stack: an exercize in algebraic specification with total functions. Technical Report P8804, University of Amsterdam; Programming Research Group, 1988.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. What is an Abstract Data Type, after all?;Recent Trends in Data Type Specification;1995