Browsing Theses and Dissertations by Subject "Linguagens : Programacao"
Now showing items 1-12 of 12
-
Um ambiente para exploração de paralelismo na programação em lógica
(1994) [Dissertation]Este trabalho e dedicado ao estudo da exploração de paralelismo na Programação em Lógica. O aspecto declarativo das linguagens de Programação em Lógica permite uma exploração eficiente do paralelismo implícito no código, ... -
Ambiente visual para programação distribuída em java
(2001) [Dissertation]Em vista da maior complexidade da programação paralela e distribuída em relação à programação de ambientes centralizados, novas ferramentas vêm sendo construídas com o objetivo de auxiliar o programador desses ambientes a ... -
Especificação de um sistema de suporte a implementação de linguagens
(1987) [Dissertation]Neste trabalho é descrita a organização de SINSEM, um sistema de processamento automático de especificação SINtático-SEMânticas de linguagens de programação. É colocada a motivação para um tal sistema, em relação ao uso ... -
Um estudo de implementação da linguagem pascal no computador b-6700
(1979) [Dissertation]O trabalho desenvolvido e composto, basicamente,de três partes. Inicialmente, descreve-se a linguagem de programação PASCAL, independentemente de qualquer implementação. A seguir e apresentado um estudo sobre a implementação ... -
Implementação do sistema pascal concorrente no computador labo-8034
(1981) [Dissertation]O trabalho descreve a implementação do Sistema Pascal Concorrente de Brinch Hansen no minicomputador LABO-B034 (Nixdorf B870/1). O sistema e composto por Bois compiladores - um para Pascal Concorrente a outro Para Pascal ... -
Larch : uma alternativa para especificação formal
(1990) [Dissertation]Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis ... -
MultiS : um servidor de contexto voltado à computação pervasiva
(2007) [Dissertation]A Computação Pervasiva tem sido tema de diversos trabalhos nos últimos anos. Essa emergente área de pesquisa propõe uma visão de futuro onde serviços computacionais são oferecidos para os usuários através de inúmeros ... -
Pré-processador de álgebra relacional para a linguagem cobol
(1981) [Dissertation]O trabalho descreve uma extensão da linguagem COBOL e sua implementação, para permitir a manipulação de bancos de dados relacionais. Esta extensão é constituída por instruções que executam um subconjunto de operações de ... -
Programação funcional usando Java
(1997) [Dissertation]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 ... -
Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento
(1992) [Dissertation]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 ... -
Test-case-based call graph construction in dynamically typed programming languages
(2015) [Dissertation]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 ... -
Une contribution a l'etude du parallelisme ou en prolog sur des machines sans memoire commune
(1991) [Thesis]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 ...
