Navegação Computação por Autor "Machado, Rodrigo"

Resultados 1-5 de 5

    • Curios - a web of types 

      Amaral Júnior, Valmir Pretto do (2023) [Dissertação]
      Ever since their inception lambda calculus and type theory have been such an influence in the design of modern programming languages so much so that even programming lan guages outside of the functional circle have adopted ...

    • Evolution of negative application conditions on second-order graph rewriting 

      Costa, Andrei (2019) [Dissertação]
      Graph grammars are a suitable formalism to modeling computational systems. This formalism is based on rules and data-driven transformations capable of simulating real systems, rules have application conditions and post ...

    • Higher-order graph rewriting systems 

      Machado, Rodrigo (2012) [Tese]
      Programas sofrem diversas modificações ao longo das etapas de desenvolvimento, implantação e manutenção. A evolução de um software pode ter várias causas: correção de erros, inclusão de novas funcionalidades ou até mesmo, ...

    • Semântica formal para TVQL 

      Machado, Rodrigo (2005) [Dissertação]
      Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. ...

    • Týr : a dependent type based code transformation for spatial memory safety in LLVM 

      Araújo, Vítor Bujés Ubatuba de (2018) [Dissertação]
      The C programming language does not enforce spatial memory safety: it does not ensure that memory accessed through a pointer to an object, such as an array, actually belongs to that object. Rather, the programmer is ...