18 registros retornados

• Carlos Cassino,  Roberto Ierusalimschy.  LuaJava - uma ferramenta de scripting de Java.  Buscar na Web Processando consulta.

• Rodrigo Quites Reis,  Cyrney Carneiro,  Paulo Blauth Menezes.  Processamento concorrente em Náutilus e Java.  Buscar na Web Processando consulta.

• Euricelia de Melo Viana,  Paulo Borba.  Integrando Java com banco de dados relacionais.  Buscar na Web Processando consulta.

• Carlos Camarao.  A type with a view.  Buscar na Web Processando consulta.

• Alan Mitchell Durham,  Ralph Johnson.  A system for implementing primitive data types.  Buscar na Web Processando consulta.

• Mariza Bigonha.  Projection of HyperPro document.  Buscar na Web Processando consulta.

• Marcelo de Almeida Maia,  Roberto da Silva Bigonha.  Interaction based semantics for mobile objects.  Buscar na Web Processando consulta.

• Martin A. Musicante.  On the relational semantics of interleaving.  Buscar na Web Processando consulta.

• Marcelo Fagundes Felix,  Edward Hermann Haeusler.  LET: uma linguagem para especificar transformações.  Buscar na Web Processando consulta.

• Mariela Ines Cortes,  A. V. Garcia,  A. P. Oliveira,  Sergio E. R. de Carvalho.  Especificação formal do tratamento de exceções na linguagem DDL.  Buscar na Web Processando consulta.

• Vladimir Oliveira Di Iorio,  Roberto da Silva Bigonha.  Avaliação parcial de máquinas de estado abstratas.  Buscar na Web Processando consulta.

• Vanderlei Moraes Rodrigues.  A logic for synchronous transitions.  Buscar na Web Processando consulta.

• José de Oliveira Guimarães.  Shells: the green MetaObjects.  Buscar na Web Processando consulta.

• Marcelo de Almeida Maia,  Roberto da Silva Bigonha.  Typed specification of interactive systems.  Buscar na Web Processando consulta.

• Alex de Vasconcellos Garcia,  Luiz Carlos Castro Guedes.  Translating programs from CHILL to C++ preserving efficiency and maintainability.  Buscar na Web Processando consulta.

• Andre Santos.  Embedding a firewall programming language into Haskell.  Buscar na Web Processando consulta.

• Luis Carlos de Souza Menezes,  Hermano Perrelli de Moura.  The Abaco System: translating action semantics using object-oriented languages.  Buscar na Web Processando consulta.

• Rafael B. Ávila,  Philippe O. A. Navaux.  Um modelo de expressão implícita de concorrência aplicado à programação orientada a objetos.  Buscar na Web Processando consulta.