Author:
van den Brand M.G.J.,Ringeissen C.
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. “Compilers. Principles, Techniques and Tools,”;Aho,1986
2. Bidoit, M. and C. Choppy, ASSPEGIQUE: an integrated environment for algebraic specifications, in: H. Ehrig, C. Floyd, M. Nivat and J. Thatcher, editors, Formal Methods and Software Development - Proceedings of the International Joint Conference on Theory and Practice of Software Development 2, LNCS 186, Springer-Verlag, 1985, pp. 246–260.
3. Borovanský, P., S. Jamoussi, P.-E. Moreau and C. Ringeissen, Handling ELAN Rewrite Programs via an Exchange Format, in: Proc. of [12], 1998.
4. Borovanský, P., C. Kirchner, H. Kirchner, P.-E. Moreau and C. Ringeissen, An Overview of ELAN, in: Proc. of [12], 1998.
5. “ELAN V 3.0 User Manual,” Inria Lorraine & Loria, Nancy (France), second edition;Borovanský,1998
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献