19 registros retornados

• Giovani R. Librelotto,  Simao Sirineo Toscani.  A definição da linguagem reativa síncrona- RS 5.0.  Buscar na Web Processando consulta.

• Simone Nasser Matos Ferreira,  Martin A. Musicante.  Using operational semantics for the development of a paralog enviroment.  Buscar na Web Processando consulta.

• Fernando M. Q. Pereira,  Roberto S. Bigonha,  Vladimir Di Iorio,  Mariza A. S. Bigonha.  Avaliação parcial de programas usando CMIX/II.  Buscar na Web Processando consulta.

• Fabíola F. Oliveira,  Roberto S. Bigonha,  Mariza A. S. Bigonha,  Marco R. Costa.  Compilador da linguagem funcional orientada por objetos script para C.  Buscar na Web Processando consulta.

• Carlos Camarão,  Lucília Camarão.  A monadic combinator compiler compiler.  Buscar na Web Processando consulta.

• Marco T. Morazan.  A Case study of list memory paging in a distributed virtual memory system for functional languages.  Buscar na Web Processando consulta.

• José Romildo Malaquias.  Implementing a computer algebra system in Haskell.  Buscar na Web Processando consulta.

• André Santos,  Bruno Monteiro.  A persistence library for Haskell.  Buscar na Web Processando consulta.

• Vladimir O. Di Iorio,  Roberto S. Bigonha.  Extensões de geração para máquinas de estado abstratas.  Buscar na Web Processando consulta.

• Álvaro Freitas Moreira.  Operational semantics for store consistency.  Buscar na Web Processando consulta.

• Luis Menezes,  Hermano Moura.  Component-based action semantics: a new aproach for programming language specifications.  Buscar na Web Processando consulta.

• Luiz Carlos Castro Guedes,  Edward Hermann Haeusler.  A formal approach for specifying XML-based languages.  Buscar na Web Processando consulta.

• Jorge Luis Victória Barbosa,  Cláudio Fernando Resin Geyer.  Uma linguagem multiparadigma orientada ao desenvolvimento de software distribuído.  Buscar na Web Processando consulta.

• Leonardo R. Nunes,  Alcides Calsavara.  Estudos sobre a concepção de uma linguagem de programação reflexiva e correspondente ambiente de execução.  Buscar na Web Processando consulta.

• Paulo Rogério da Motta Junior,  Marcelo Germano Alencar,  Maria Alice Silveira de Brito.  Reflexão e persistência quando todos os objetos são atômicos.  Buscar na Web Processando consulta.

• Marco Túlio de Oliveira Valente,  Roberto da Silva Bigonha,  Mariza A. S. Bigonha,  Antonio Alfredo Ferreira Loureiro.  Mobilidade de grupos de objetos em um sistema para programação distribuída na Internet.  Buscar na Web Processando consulta.

• Fernando Castor,  Paulo Borba.  A language for specifying Java transformations.  Buscar na Web Processando consulta.

• Sergio Soares,  Paulo Borba.  Controle de concorrência com Java e banco de dados relacionais.  Buscar na Web Processando consulta.

• Jose de Oliveira Guimarães.  An idiom exception for treatment in C++ and Java.  Buscar na Web Processando consulta.