Author:
Van Wyk Eric,Heimdahl Mats Per Erik
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference75 articles.
1. Adams, S.R.: Modular grammars for programming language prototyping. Ph.D. Thesis, University of Southampton, Department of Electronics and Computer Science, UK (1993)
2. Archer, M., Heitmeyer, C., Sims, S.: TAME: A PVS interface to simplify proofs for automata models. In: User Interfaces for Theorem Provers (1998)
3. Baker, J., Hsieh, W.: Maya: multiple-dispatch syntax extension in java. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM, June (2002)
4. Batory, D., Lofaso, D., Smaragdakis, Y.: JTS: tools for implementing domain-specific languages. In: Proceedings Fifth International Conference on Software Reuse, pp. 143–53. IEEE, 2–5 (1998)
5. Bensalem, S., Caspi, P., Parent-Vigouroux, C., Dumas, C.: A methodology for proving control systems with Lustre and PVS. In: Proc. of Seventh Working Conference on Dependable Computing for Critical Applications (DCCA 7) (1999)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献