Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. The programming language Ada. Reference Manual. United States Department of Defense, January 1983.
2. E. Astesiano and M. Wirsing. An introduction to ASL. In Proc. of the IFIP WG2.1 Working Conference on Program Specifications and Transformations, 1986.
3. F.L. Bauer et al. The Munich Project CIP. Volume I: The wide spectrum language CIP-L. Springer-Verlag L.N.C.S. 183, 1985.
4. G. Bernot. Good functors... are those preserving philosophy ! In Proc. of the Summer Conference on Category Theory and Computer Science, pages 182–195, Springer-Verlag L.N.C.S. 283, September 1987.
5. G. Bernot, M. Bidoit, and C. Choppy. Abstract data types with exception handling: an initial approach based on a distinction between exceptions and errors. Theoretical Computer Science, 46(1):13–45, 1986.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献