Uma Implementação Paralela e Distribuída de GAMMA Estruturada

Autores

1798
Gabriel Antoine Louis Paillard
764,131,765
1799
Felipe Maia Galvão França
(Orientador)
764,131,765
1800
Juarez Assumpção Muylaert Filho
(Co-orientador)
764,131,765

Informações:

Publicações do PESC

Título
Uma Implementação Paralela e Distribuída de GAMMA Estruturada
Linha de pesquisa
Arquitetura e Sistemas Operacionais
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
20/9/1999
Resumo
PESC: Resumo de Dissertação de Mestrado Resumo da Tese apresentada à COPPE/UFRJ como parte dos requisitos necessários para a obtenção do grau de Mestre em Ciências (M.Sc.)

Uma Implementação Paralela e Distribuída de GAMMA Estruturada

Gabriel Antoine Louis Paillard

Setembro/1999
Orientadores: Felipe Maia Galvão França
Juarez Assumpção Muylaert Filho 		 

 
Programa: Engenharia de Sistemas e Computação

      Este trabalho consiste na implementação paralela e distribuída da linguagem de programação Gamma Estruturada, uma linguagem baseada no paradigma Gamma de reescrita em multiconjuntos. A extensão Gamma Estruturada foi definida visando oferecer, além das vantagens apresentadas por Gamma, como fácil sintaxe e comportamento concorrente implícito, a verificação automática de tipos definidos pelo usuário em tempo de compilação.

Abstract
PESC: Master Degree Abstracts Abstract of Thesis presented at COPPE/UFRJ as a partial fulfillment of the requirements for the degree of Master of Science (M.Sc.)

A Paralell and Distributed Implementation of Structured GAMMA

Gabriel Antoine Louis Paillard

September/1999
Advisors:Felipe Maia Galvão França
Juarez Assumpção Muylaert Filho 		 
Department: Systems Engineering and Computer Science

      This work presents a parallel and distributed implementation of the Structured Gamma programming language, a language based on the Gamma multiset rewriting paradigm. Structured Gamma offers, in addition to the advantages introduced by Gamma, an easy sintax and implicit concurrent behavior, the automatic verification of user defined types at compilation time.

Arquivo
Topo