• Programação funcional usando Java 

      Zavaleta Gavidia, Jorge Juan (1997) [Dissertação]
      Desde a introdução da World Wide Web para o mundo nos inícios de 1990, usando a Internet como uma rede para transferir dados, empregando uma forma de expressão chamada de Hipertexto, a qual liga as informações relacionadas ...
    • Projeto OPERA : exploração de paralelismo em Prolog 

      Vargas, Patricia Kayser; Werner, Otilia (1994) [Resumo publicado em evento]
    • RailsOnDia : integrando aplicações Rails com ferramentas de modelagem existentes 

      Pereira, Gabriel Maier Fernandes Vidueiro (2011) [Trabalho de conclusão de graduação]
      As aplicações escritas em Rails estão se tornando mais populares em função da simplicidade da linguagem Ruby e das funcionalidades easy-to-use do framework Ruby on Rails. No entanto, o hábito de modelar as aplicações antes ...
    • Retry-transaction : uma nova função primitiva de bloqueio para a STM de Clojure 

      Ferreira, André Martins (2012) [Trabalho de conclusão de graduação]
      Neste trabalho é proposta uma nova função primitiva, retry-transaction, para o sistema de Memória Transacional de Software (STM) de Clojure. STM é vista por muitos pesquisadores como uma possível forma de simplificar ...
    • S68HC11 : um simulador para o M68HC11 

      Teodorowitsch, Roland; Simionovschi, Gustavo; Lautert, Jorge Adriano (1990) [Resumo publicado em evento]
    • Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento 

      Passerino, Liliana Maria (1992) [Dissertação]
      A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas. Tal classificação ...
    • A study of the impact of real-time constraints in Java/OSGi applications 

      Américo, João Claudio Rodrigues (2010) [Trabalho de conclusão de graduação]
      Restrições de tempo-real e adaptação de software em tempo de execução são duas necessidades frequentes nos sistemas modernos. De um lado, as características mais importante dos sistemas de tempo-real são a sua preditibilidade ...
    • Supporting swarm debugging in interpreted programming languages 

      Veras, Gabriel Barufi (2018) [Trabalho de conclusão de graduação]
      Debugging a program takes time: nearly a third of the time spent in development is debugging and it seems that there is a strong correlation between the time of the first breakpoint and the time necessary to the debugging ...
    • Test-case-based call graph construction in dynamically typed programming languages 

      Pereira, Gabriel Maier Fernandes Vidueiro (2015) [Dissertação]
      Evolving enterprise software systems is one of the most challenging activities of the software development process. An important issue associated with this activity is to properly comprehend the source code and other ...
    • The V language 

      Vedana, Arthur Giesel (2018) [Trabalho de conclusão de graduação]
      Functional programming languages are known for their ease of use and conciseness. Pure functional languages are a subset of these languages and provide further improvements in certain areas, such as making it easier to ...
    • Une contribution a l'etude du parallelisme ou en prolog sur des machines sans memoire commune 

      Geyer, Claudio Fernando Resin (1991) [Tese]
      Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de ...
    • V : a language with extensible record accessors and a trait based type system 

      Vedana, Arthur Giesel; Machado, Rodrigo; Moreira, Alvaro Freitas (2018) [Artigo de periódico]
      This article introduces the V language, a purely functional programming language with a novel approach to records. Based on a system of type traits, V attempts to solve issues commonly found when manipulating records in ...