Artigos mais recentes para Linguagens de Programação

Uma visão geral de sistemas distribuídos, sincronização e métodos de segurança.

Uma análise dos algoritmos de busca de jatos em várias linguagens de programação usadas em física de alta energia.

Apresentando uma estrutura para semântica mais clara em linguagens de programação probabilísticas.

Nova técnica melhora a detecção de bugs em motores JavaScript usando modelos avançados.

Uma olhada em uma abordagem pouco convencional para avaliação de expressões.

Um novo método treina modelos de código de forma eficaz sem depender de símbolos.

Esse artigo explora como a geração de comentários melhora as habilidades de programação dos grandes modelos de linguagem.

Aprenda a prevenir falhas internas na programação de software de forma eficaz.

Aprenda como o MPST melhora os processos de comunicação em sistemas distribuídos.

Aprenda sobre CFGs e FSAs, suas propriedades e aplicações em programação e linguística.

Esse estudo analisa a ascensão das práticas de CI/CD entre desenvolvedores de 2012 a 2023.

O CatCode tem como objetivo melhorar a avaliação de LLMs em tarefas de programação e linguagem.

Um olhar sobre categorias superiores e sua importância na matemática moderna.

Um olhar sobre intérpretes denotacionais e seu papel na análise de programas.

Estudo revela uma sobreposição de dados significativa que afeta as avaliações de modelos de linguagem na geração de código.

Este estudo melhora modelos de código usando representações intermediárias de compilador pra ter um desempenho melhor em múltiplas línguas.

Apresentando uma nova linguagem para permissões de acesso claras e eficientes.

Nova ferramenta baseada em AST melhora a precisão na comparação de código e a colaboração entre desenvolvedores.

Criando um sistema pra comparar bibliotecas em diferentes linguagens de programação de forma eficaz.

Um novo sistema melhora o monitoramento de aplicações WebAssembly sem afetar o desempenho.

Apresentando uma linguagem de programação pra melhorar a tomada de decisão e a execução de tarefas dos robôs.

Um novo alocador de memória oferece mais segurança e desempenho para o desenvolvimento de software.

Explore categorias enriquecidas e seu impacto na matemática e na ciência da computação.

Examinando os métodos PEFT em LLMs para geração de código e resumo em R.

Um framework simplifica otimizações de peephole pra melhorar o desempenho em aplicações Java.

Um novo framework simplifica o teste de compiladores JIT gerando casos de teste automatizados.

Um novo método pra garantir a confiabilidade e clareza das regex em JavaScript.

Descubra o básico e a importância da teoria dos tipos dependentes na computação.

Aprenda como SSR melhora a gestão de provas no Lean 4.

Melhorando a eficiência no Datalog através de semirring e técnicas de grounding.

Lógicas diferenciáveis melhoram o aprendizado de máquina com técnicas de verificação formal e treinamento mais eficazes.

Explorando como a IA impacta o desenvolvimento de software e as práticas de codificação.

Gillian-Rust oferece uma maneira nova de verificar código Rust inseguro de forma eficaz.

Um estudo destaca o impacto da contaminação de dados nas avaliações de modelos de código.

Uma estrutura pra gerar repositórios de código usando requisitos de linguagem simples.

Um novo método pra confirmar a integridade do SQL baseado em regras OCL.

Um olhar sobre o papel do OPDL em raciocinar sobre programas concorrentes.

Aprenda como LLMs podem ajudar a deixar a programação em C mais segura e eficiente.

Um estudo sobre o uso de código inseguro por desenvolvedores em Rust.

Uma nova estrutura tem como objetivo melhorar a interoperabilidade e a eficiência de DSL em HPC.