Funder
Romanian
Région Nord Pas-de-Calais, via a CPER Contract with Inria Lille Nord-Europe
Subject
Computer Networks and Communications,Software
Reference39 articles.
1. Armando A, Benerecetti M, Mantovani J. Model checking linear programs with arrays. In: Proceedings of the workshop on software model checking, vol. 144(3), 2006. p. 79–94.
2. Arusoaie A, Lucanu D, Rusu V. A generic framework for symbolic execution. In: 6th international conference on software language engineering. Lecture notes in computer science, vol. 8225. Indianapolis, USA: Springer Verlag; 2013. p. 281–301. Also available as a technical report, http://hal.inria.fr/hal-00853588.
3. Towards a semantics for OCL;Arusoaie;Electron Notes Theor Comput Sci,2014
4. Arusoaie A, Lucanu D, Rusu V, Şerbănuţă TF, Ştefănescu A, Roşu G. Language definitions as rewrite theories. In: Proceedings of the 10th international workshop on rewriting logic and its applications (WRLA׳14). Lecture notes in computer science, vol. 8663. Grenoble, France: Springer; 2014. p. 97–112.
5. Term rewriting and all that;Baader,1998
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献