jpaul Implementação de algoritmo de análise de programas gratuitos
Baixe Agora

jpaul Classificação e resumo

jpaul Tag

analisar análise biblioteca Biblioteca Java. Análise do programa Algoritmo de análise.

jpaul Descrição

Implementação de algoritmo de análise de programas gratuitos O JPaul é uma implementação Java de código livre gratuita e aberta de vários algoritmos amplamente utilizados na análise de programas. O JPAUL enfatiza flexibilidade e facilidade de uso e é independente de qualquer projeto específico de infraestrutura do compilador. Aqui estão algumas características principais de "jpaul": Algoritmos de gráfico - Pacote Jpaul.graphs: · Definição genérica de um gráfico direcionado (Digrap) como um conjunto de vértices raiz e um navegador que descreve os arcos do gráfico. Este design permite o uso da nossa biblioteca, mesmo para gráficos cujos arcos não são explicitamente armazenados nos vértices. · Algoritmos de Digrafro Geral: travessias DFS, acessibilidade, caminhos mais curtos, etc. · Componentes fortemente conectados (SCCs): Dado um Digrafre, podemos construir seu componente Topologicamente classificado Digrafre - um Digraphet cujos vértices são os SCCs do gráfico original. · Representação básica do bloco de um Digrafre. · Árvores binárias dirigidas (Digrafras especiais). Utilitários para iterating eficientemente sobre tais árvores em pré e pós-ordem. · Solucionador genérico e eficiente para sistemas de restrições de desigualdade sobre as tristes - pacote jpaul.constraints. Generalização de solucionadores de restrição de conjunto clássico. Permite que o usuário defina seus próprios tipos de restrições. Como exemplo da estrutura de solaver de restrição, também implementamos um solucionador de restrições definido - pacote jpaul.constraints.setconstraints. NFAS genéricas e expressões regulares - Pacote Jpaul.Regexps: · Conversão da NFA para expressões regulares Estruturas de dados úteis - Pacote Jpaul.Datastruções: · Relações binárias e ternárias · Classes para o padrão de fábrica · Estruturas de dados Copy-on-Write · Conjuntos de trabalho para cálculos de ponto fixo Requisitos: · Java 1.5 ou mais tarde O que há de novo nesta versão: · Corrigido um erro embaraçoso na versão anterior: em Jpaul 2.5, · O campo jpaul.version.rlease ainda era "2.4.1". Agora, nós temos um · Mais procedimento de liberação automatizado, que verifica esses erros. · Adam encontrado e fixou algumas estruturas de dados que não eram · Serializável ainda. Eles são agora!

jpaul Software Relacionado