| Hera compilador e biblioteca de tempo de execução para um dialeto estendido de C que verifica o tipo, a memória e a segurança da concorrência |
Baixe Agora |
Hera Classificação e resumo
- Site do editor:
- http://ivy.cs.berkeley.edu/ivywiki/index.php/Main/HomePage
- Sistemas operacionais:
- macOS
- Tamanho do arquivo:
- 1.5 MB
- Data de lançamento:
- 2021-06-18 08:33:53
Hera Tag
Hera Descrição
Biblioteca de compilador e tempo de execução para um dialeto estendido de C que verifica o tipo, a memória e a segurança da concorrência Ivy depende de um pequeno número de anotações leves no código-fonte para manter o tempo e as despesas de espaço razoável. A IVY é implementada como compilador C-a-C usando o GCC como back-end, e isso torna o driver do compilador de Ivy, o IVYCC, um substituto direto do GCC. C permanece uma linguagem de programação de sistemas muito amplamente usada; É amplamente conhecido, suportado por muitas ferramentas, fornece bons acessos a hardware de baixo nível ... mas produz programas C seguros e confiáveis é desnecessariamente difícil, um problema particularmente significativo para programas simultâneos e, em particular, código de sistemas. As línguas modernas abordam muitos desses problemas de segurança e confiabilidade, mas portando grandes sistemas para uma nova linguagem é muitas vezes impraticável. Análises estáticas de c Encontre alguns problemas, mas normalmente não garantem segurança.ivy representa uma abordagem alternativa: a Ivy será uma linguagem segura, simultânea, totalmente interoperável com C.ivy é efetivamente três ferramentas em uma (da maioria madura para mais experimental) : · Vice-verifica tipo e segurança de memória (limites de matriz, sindicatos, uso de vazio *, etc) · heapepsafe verificações de memória · Sharc verifica se a memória é compartilhada corretamente em programas paralelos
Hera Software Relacionado