Tradução de Tipos de Especificação para Protótipo

Paulo BorbaSilvio Romero de Lemos Meira

Introduzimos um método de transformação de especificações formais em protótipos funcionais. Em seguida. descrevemos a tradução de tipos da linguagem de especificação de YDM para a linguagem de programação SML, terminando com a especificação e protótipo da parte de tradução de tipos de um sistema de transformação de especificações em VDM para protótipos em SML.

http://www.lbd.dcc.ufmg.br/colecoes/sbes/1990/001.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

BDBComp - Biblioteca Digital Brasileira de Computação
BDBComp
Parceria:
SBC
Tradução de Tipos de Especificação para Protótipo

Paulo BorbaSilvio Romero de Lemos Meira

Introduzimos um método de transformação de especificações formais em protótipos funcionais. Em seguida. descrevemos a tradução de tipos da linguagem de especificação de YDM para a linguagem de programação SML, terminando com a especificação e protótipo da parte de tradução de tipos de um sistema de transformação de especificações em VDM para protótipos em SML.

http://www.lbd.dcc.ufmg.br/colecoes/sbes/1990/001.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD