Informática - Linguagens de programação

Aprenda como o Egg-smol torna os e-graphs acessíveis para desenvolvedores Python.

Um novo método melhora a forma como os desenvolvedores buscam padrões de código de maneira eficaz.

Uma estrutura pra garantir a correção do programa e lidar com erros de forma eficaz.

Modelos de aprendizado de máquina ajudam a encontrar erros em programação concorrente pra deixar o software mais seguro.

TyRE melhora a análise de regex com segurança de tipo e saída estruturada.

A execução simbólica é uma técnica chave pra identificar bugs de software de forma eficiente.

Uma introdução às teorias de tipos modais em camadas e suas aplicações na programação.

Este artigo analisa como o ChatGPT se compara com programadores humanos em uma competição global.

Apresentando uma ferramenta que melhora tarefas relacionadas a matrizes na análise de dados.

Um olhar sobre a Árvore de Busca Binária Amigável à Contenção e sua eficiência.

Uma visão geral dos combinadores de parser e a importância de verificar a precisão deles.

Explore como a diferenciação automática e o Prolog trabalham juntos em várias áreas.

Aprenda como o raciocínio Rely-Guarantee melhora a interação do programa sem conflitos.

Este artigo apresenta uma notação para gerenciar melhor tarefas de programação sequencial e paralela.

Pesquisas mostram que modelos de linguagem conseguem aprender conteúdo significativo a partir de linguagens de programação.

Analisando as complexidades e soluções na gestão do fluxo de controle para computação quântica.

Um método de análise estática melhora a inferência de formato de protocolo pra uma segurança de rede melhor.

Esse trabalho verifica a confiabilidade de uma estrutura de dados concorrente para processadores.

Investigando as complexidades da equivalência no cálculo lambda tipado, especialmente no cálculo lambda seguro.

Um novo método melhora a análise da segurança do protocolo pra uma proteção melhor.

Explorando como os compiladores afetam o desempenho e a qualidade do código do WebAssembly.

O projeto Hydro tem como objetivo simplificar a programação para sistemas distribuídos.

O ChipGPT facilita o design de chips usando uma linguagem do dia a dia para os engenheiros.

Esse artigo discute algoritmos de dados paralelos para diagramas de string, focando na representação e manipulação deles.

Esse artigo analisa como os transformers aprendem funções recursivas em tarefas de programação.

Analisando incerteza através de modelos probabilísticos em várias áreas.

Um novo método pra verificar protocolos de comunicação em sistemas multiparte usando autômatos.

Explore os desafios e soluções para programas concorrentes em modelos de memória fraca.

Explorando reescrita de termos em computação paralela pra um processamento de dados eficiente.

E-gráficos coloridos melhoram o raciocínio lógico ao reduzir o uso de memória e aumentar a velocidade.

Este artigo apresenta um modelo formal para computações seguras na linguagem C.

Um superotimizador melhora o desempenho de instruções SIMD no LLVM, aumentando a eficiência do programa.

Uma nova representação gráfica melhora a forma como o aprendizado de máquina analisa linguagens de programação.

FreeCHR oferece uma abordagem uniforme para Regras de Manipulação de Restrições em várias linguagens de programação.

Um novo método pra criar invariantes em estruturas de loop desafiadoras.

Uma olhada nos métodos para verificar a ligação dinâmica na programação.

O LambdaBeam melhora a criação de programas lidando com funções e loops complexos de forma eficiente.

Aprenda como a diferenciação algorítmica e o checkpointing melhoram a eficiência de modelos científicos.

Um novo conjunto de dados de projetos COBOL apoia pesquisas em sistemas cruciais.

Uma nova ferramenta ajuda os usuários a gerenciar erros de arredondamento em cálculos com ponto flutuante.