Artigos mais recentes para Linguagens de Programação

Os LLMs melhoram o desempenho e a eficiência do software na otimização de código.

Explorando como os tipos de dados influenciam a programação e a correção do código.

Um olhar sobre como os desenvolvedores interagem com o GitHub Copilot e suas funcionalidades.

Apresentando um método pra criar conjuntos de dados de bugs precisos e diversos pra melhorar o software.

Uma ferramenta pra ajudar os programadores a entender as mensagens de erro complexas do Rust.

Uma nova abordagem melhora a navegação de código para especificações de linguagens de software online.

Um olhar sobre como preservar a bisimilaridade e seu impacto na análise de processos.

CRIL combina reversibilidade e concorrência para programação eficiente.

A queda da pesquisa SOS faz a gente olhar pra suas perspectivas futuras.

Aprenda como os tipos de sessão garantem uma comunicação segura em sistemas de software.

A Rebeca temporizada modela sistemas assíncronos com manejo de mensagens sensíveis ao tempo.

Uma nova maneira de corrigir erros de compilação com mudanças mínimas no código.

Saiba como variantes de programas podem melhorar a segurança do WebAssembly contra vulnerabilidades.

Este estudo investiga como os modelos de código entendem os nomes e o uso de APIs.

Uma teoria de tipo de dois níveis conecta provas lógicas e programação prática.

Um estudo sobre como paralelizar redes neurais usando a linguagem de programação Go.

Uma visão geral das categorias diferenciais cartesianas e sua relevância em matemática e ciência da computação.

Uma análise do CUDA e SYCL em buscas em bancos de dados de proteínas.

Explorando novos métodos em teoria dos tipos para melhores práticas de programação.

Descubra uma nova forma de melhorar a eficiência da avaliação em cálculo lambda.

Explorando novos métodos para segurança na comunicação em sistemas computacionais usando tipos de sessão.

Uma visão geral da estratégia externa em programação forte por valor.

Linguagens de programação reversíveis abrem caminho para soluções de computação eficientes e tecnologia quântica.

Uma olhada na performance do GPT-4 e do GPT-3.5 em tarefas de programação.

Um olhar sobre as vulnerabilidades de contratos inteligentes e o papel da análise de intervalos.

Explore maneiras inovadoras de definir e verificar loops while no Coq.

Um estudo sobre o lema de substituição no cálculo lambda com substituições explícitas.

Uma olhada no pacote de simetrias de rede para física quântica de muitos corpos.

Explorando soluções pra extensão de tipo de dado e gerenciamento de funções na programação.

Esse estudo destaca a eficácia do CodeT5 em sugerir pequenas edições de código para corrigir bugs.

O T5APR melhora a correção de bugs em várias linguagens de programação usando técnicas avançadas de aprendizado de máquina.

Explorando técnicas de prova pra avaliar funções em linguagens de programação.

A pesquisa analisa as vulnerabilidades e o processo de correção no desenvolvimento em Golang.

Um novo método melhora a completude de código ao integrar informações de API específicas do projeto.

Um novo algoritmo melhora as capacidades de raciocínio no DatalogMTL para conjuntos de dados complexos.

WebAssembly aumenta a velocidade dos aplicativos web, mas levanta preocupações de segurança.

Investigando as diferenças entre código escrito por humanos e código gerado por máquina pra melhorar os métodos de detecção.

Línguas direcionadas têm um papel crucial na ciência da computação e na teoria das linguagens.

Um olhar sobre as restrições de string e sua importância em sistemas de software.

Analisando os efeitos da duplicação de código entre conjuntos de dados nas métricas de desempenho do modelo.