Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
Certified virtual machine based parsing of regular expressions
Documento
Visão geral
Pesquisas
Identidade
Ver todos
Visão geral
orientado por
Rodrigo Geraldo Ribeiro
tipo
master thesis
data de publicação
2017-01-01
Pesquisas
áreas de investigação
Linguagem Formais e Autômatos
Lógicas e Semântica de Programas
palavras-chave
Formal Verification
Parsing
Type theory
Identidade
identificador BrCris
81579d811e447d0a7cf1cd5f8abfc404