Author:
Bert Didier,Oriat Catherine
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Reference Manual of the Programming Language Ada. ANSI/MIL-STD 1815A, 1983.
2. M. V. Aponte. Extending record typing to type parametric modules with sharing. In 20th Symposium on Principles of Programming Languages, 1993.
3. G. Bernot and M. Bidoit. Proving correctness of algebraically specified software: Modularity and observability issues. In Proceedings of AMAST'91. Springer-Verlag, 1991.
4. D. Bert and R. Echahed. Design and implementation of a generic, logic and functional programming language. In Proceedings of ESOP'86, number 213 in LNCS, pages 119–132. Springer-Verlag, 1986.
5. D. Bert et al. Reference manual of the specification language LPG. Technical Report 59, LIFIA, mars 1990. Anonymous ftp at imag.fr, in/pub/SCOP/LPG/NewSun4/man_lpg.dvi.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献