1 |
Geração automática de testes a partir de descrições de linguagens
|
|
Antunes, Cleverton Hentz. - : Universidade Federal do Rio Grande do Norte, 2014. : BR, 2014. : UFRN, 2014. : Programa de Pós-Graduação em Sistemas e Computação, 2014. : Ciência da Computação, 2014
|
|
BASE
|
|
Show details
|
|
2 |
Automated generation of program translation and verification tools using annotated grammars
|
|
|
|
In: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.inria.fr/inria-00535869 ; Science of Computer Programming, Elsevier, 2010, 75 (1-2), pp.3-20. ⟨10.1016/j.scico.2009.10.003⟩ (2010)
|
|
BASE
|
|
Show details
|
|
3 |
Semantics driven disambiguation
|
|
|
|
In: https://www.lrde.epita.fr/dload/20080116-Seminar/durlin-disamb.pdf (2008)
|
|
BASE
|
|
Show details
|
|
|
|