Semantics for an algebraic specification language

Semantics for an algebraic specification language

Show other versions (2)

Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de...

Full description

Bibliographic Details
Main Author: Azevedo Terceiro, Antonio Soares de
Other Authors: Nunes, Daltro Jose
Format: Others
Language:English
Published: 2007
Subjects:
Engenharia : Software
Prosoft
Especificacao algebrica
Semantica denotacional
Semantica operacional
Prosoft environment
Algebraic specification
Denotational semantics
Operational semantics
Semantic prototyping
Haskell Programming Language
Online Access:http://hdl.handle.net/10183/8126

Internet

http://hdl.handle.net/10183/8126

Similar Items