Higher-order graph rewriting systems Documento

membro de

• https://brcris.ibict.br/individual/comm_13420c68-9ae8-4762-8568-9aadf27b3325 
• https://brcris.ibict.br/individual/comm_484b40f0-b3f8-4a11-8be7-457eed856e00 

orientado por

• Leila Ribeiro

produzido em

• https://brcris.ibict.br/individual/cour_ba3b2cad-5016-45e7-b579-bca9d0cc5756 
• Graduate Program in Computer Science  Programa de Pós-Graduação

tipo

• doctoral thesis

autores

• Rodrigo Machado

data de publicação

• 2012-01-01

prêmio patrocinado pela

• Universidade Federal de Rio Grande Do Sul  Organização

áreas de investigação

• Computabilidade e Modelos de Computação
• Engenharia de Software
• Lógicas e Semântica de Programas

palavras-chave

• Gramática de Grafos
• Orientação a Aspectos
• Semântica Formal
• Transformações de alta ordem
• engenharia de software
• especificação formal
• métodos formais

identificador BrCris

• 88e79f9cf0b3d3686b1f89a8812dd09a

identificador Capes

• 20121042001013004P4-Publication

identificador Oasisbr

• URGS_b5841372571ce78ac94318518d53de9d