Browsing by Author "Vizzotto, Juliana Kaizer"
Now showing items 1-3 of 3
-
Avaliação lazy e mônadas para entrada/saída na linguagem haskell.
Vizzotto, Juliana Kaizer; Costa, Anttônio Carlos da R. (1999) [Abstract published in event] -
Interoperabilidade lógica via mapeamentos entre instituições
Vizzotto, Juliana Kaizer (2001) [Dissertation]A integração estruturada e consistente de diversas especificações (ou visões) de um sistema é hoje uma questão essencial na moderna abordagem para especificação e desenvolvimento de software. Neste contexto, precisamos de ... -
Structuring general and complete quantum computations in Haskell : the arrows approach
Vizzotto, Juliana Kaizer (2006) [Thesis]Computaçãao quântica pode ser entendida como transformação da informação codificada no estado de um sistema físico quântico. A idéia básica da computação quântica é codificar dados utilizando bits quânticos (qubits). ...