Now showing items 1-1 of 1

    • Mapeamento da linguagem Nautilus para Java 

      Fuzitaki, Claudio Naoto (2004) [Dissertation]
      Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da ...