Author:
Bettini Lorenzo,Stoll Dietmar,Völter Markus,Colameo Serano
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. DLTK,
http://www.eclipse.org/dltk
2. Xtend,
http://xtend-lang.org
3. Xtext,
http://www.eclipse.org/Xtext
4. Bertot, Y., Castéran, P.P.: Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions. Texts in theoretical computer science. Springer (2004)
5. Bettini, L.: An Eclipse-based IDE for Featherweight Java implemented in Xtext. In: ECLIPSE-IT, pp. 14–28 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献