21 registros retornados

• Paulo Blauth Menezes,  Júlio P. Machado.  Hyper-automaton: hypertext framework with categorical operations.  Buscar na Web Processando consulta.

• L. C. S. Menezes,  S. C. B. Soares,  J. B. Meneses,  H. P. Moura,  A. L. C. Cavalcanti.  A framework for defining object-oriented languages using action semantics.  Buscar na Web Processando consulta.

• L. M. de Moura,  C. J. P. de Lucena,  E. H. Haeusler.  Analysis of parallel programs.  Buscar na Web Processando consulta.

• Maria Julia de Lima,  Noemi Rodriguez,  Roberto Ierusalimschy.  Funções remotas como valores de primeira classe em um sistema de objetos distribuídos.  Buscar na Web Processando consulta.

• Carlos Camarão,  Lucília Figueiredo.  ML has principal typings.  Buscar na Web Processando consulta.

• Bruno Kraychete da Costa,  Guido Araujo.  Byte-code compression using abstract syntax tree recovery.  Buscar na Web Processando consulta.

• Diógenes Cogo Furlana,  Martin A. Musicante,  Elias Procópio Duarte.  An action semantics description of the SNMPv3 dispatcher.  Buscar na Web Processando consulta.

• Marco Túlio de Oliveira Valente,  Roberto da Silva Bigonha,  Antonio Alfredo Ferreira Loureiro,  Mariza Andrade da Silva Bigonha.  Introduzindo abstrações para computação móvel em linguagens orientadas por objeto.  Buscar na Web Processando consulta.

• Jakob Grue Simonsen.  A factorization theorem in higher-order rewriting with applications to modular reduction semantics.  Buscar na Web Processando consulta.

• L. S. Barbosa,  J. B. Barros,  J. J. Almeida.  Polytypic recursion patterns.  Buscar na Web Processando consulta.

• Fabio Tirelo,  Roberto da Silva Bigonha.  Técnicas de otimização de programas baseados em máquinas de estado abstratas.  Buscar na Web Processando consulta.

• Bartira Dantas,  David Déharbe,  Virgínia de Paula.  Uma descrição arquitetural de enterprise Java Beans.  Buscar na Web Processando consulta.

• Sidi Ould Ehmety,  Bruno Feres de Souza.  Mechanizing Sigma-Calculus in Isabelle/ZF.  Buscar na Web Processando consulta.

• Maria João Varanda Pereira,  Pedro Rangel Henriques.  Visualização sistemática de programas.  Buscar na Web Processando consulta.

• Alex Garcia,  Edward Hausler.  Um modelo categórico para tradução entre linguagens de programação.  Buscar na Web Processando consulta.

• Luis Carlos de Sousa Menezes,  Hermano Perrelli de Moura,  Geber Lisboa Ramalho.  Formal semantics for agent-oriented programming languages.  Buscar na Web Processando consulta.

• Giovani Rubert Librelotto,  Simão Sirineo Toscani,  Luís Fernando Monteiro.  Distribution of the RS language over the MDX environment.  Buscar na Web Processando consulta.

• Alexandre Macedo,  Hermano Moura.  Investigating compiler generator systems.  Buscar na Web Processando consulta.

• Júlio C. B. de Mattos,  Fernando R. Nascimento,  Simão S. Toscani.  Using RS language in industrial environment.  Buscar na Web Processando consulta.

• Pierre Valarcher.  On expressive power of system T of Godel.  Buscar na Web Processando consulta.

• Silvia de Castro Bertagnolli,  Maria Lúcia Blank Lisbôa.  JReflex: um ambiente visual para o desenvolvimento de aplicações Java reflexivas.  Buscar na Web Processando consulta.