1
Assuntos:
“...Linguagem de programação (Computadores)...”
Um estudo sobre verificação formal de sistemas concorrentes
Dissertação
2
3
Assuntos:
“...Linguagem de programação (Computadores)...”
Análise do impacto na compreensão de programas Java com a introdução de expressões lambda
Dissertação
4
Assuntos:
“...Java (Linguagem de programação de computador)...”
Compilação de bytecodes Java para um ambiente de arquitetura reconfigurável
Dissertação
5
Assuntos:
“...Linguagem de programação...”
Funções sobrecarregadas como objeto de primeira classe
Dissertação
6
Assuntos:
“...Linguagem de Programação...”
Protocolo conservativo CMB para simulação distribuida
Dissertação
7
Assuntos:
“...Linguagem de programação (Computadores) - Semântica...”
Especificação formal e implementação de um protótipo para a linguagem ParaLog
Dissertação
8
Assuntos:
“...COBOL (Linguagem de programação de computador)...”
Suporte ao teste de programas COBOL no ambiente POKE-TOOL
Dissertação
9
Assuntos:
“...Linguagem de programação (Computadores)...”
"Lambda" PROLOG : interpretador e unificação de ordem superior
Tese
10
Assuntos:
“...Linguagem de programação (Computadores)...”
Experimentos com codificação e compactação no gerenciamento de memoria da maquina virtual java
Dissertação
11
Assuntos:
“...Linguagem De Programação...”
Detecção dinâmica de condições de disputa para programas 'multi threaded' em JAVA
Dissertação
12
Assuntos:
“...Linguagem De Programação...”
Linguagens de implementacao de sistemas e a linguagem 'lapa'
Dissertação
13
Assuntos:
“...Linguagem de programação (Computadores)...”
Implementação de um ambiente computacional para ensino à distância
Dissertação
14
Assuntos:
“...Linguagem de programação (Computadores)...”
Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Dissertação
15
16
Assuntos:
“...Linguagem de programação...”
Willow : a tool for interactive data structures and algorithms visualization
Dissertação
17
Assuntos:
“...Linguagem de programação...”
Uma linguagem de domínio específico para auxiliar o desenvolvimento de aplicações baseadas em gestos das mãos
Dissertação
18
Assuntos:
“...Linguagem de programação...”
Validating transformations of OO programs using the alloy analyzer
Tese
19
Assuntos:
“...Linguagem de programação...”
Sherlock N-Overlap: normalização invasiva e coeficiente de sobreposição para análise de similaridade entre códigos-fonte em disciplinas de programação
Dissertação
20
Assuntos:
“...Linguagem de programação...”
Uma domain-specific language para automação de testes de variação de entrada de dados em softwares web no processo de teste em uma empresa do Porto Digital
Dissertação