ETDs @PUC-Rio
| Título: | FORMALIZATION OF KEY ALGORITHMS FROM LPEGN | ||
| Autor(es): |
GUILHERME DANTAS DE OLIVEIRA |
||
| Orientador (es) : |
ROBERTO IERUSALIMSCHY |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | GRADUATE PROGRAM IN COMPUTER SCIENCE | ||
| Área: | PROGRAMMING LANGUAGE | ||
| Banca: |
ROBERTO IERUSALIMSCHY - PUC-RIO HUGO MUSSO GUALANDI - UFRJ SERGIO QUEIROZ DE MEDEIROS - UFRN |
||
| Vocabulário: | LPEG PARSING EXPRESSION GRAMMAR WELL FORMEDNESS |
||
| Apresentação: | 24/ABR/2025 | ||
| Aceitação: | 24/ABR/2025 | ||