Artigos mais recentes para Linguagens de Programação

A Universidade Innopolis tá na frente nas pesquisas sobre como lidar com identificadores em linguagens de programação.

Uma ferramenta que usa IA pra gerar afirmações de ajuda pra verificação de código Dafny.

Um guia claro sobre definições indutivas e coindutivas e sua importância.

Uma nova abordagem pra melhorar o desempenho de arrays na programação.

Um olhar sobre como melhorar a segurança em software aeroespacial com Rust.

Um olhar sobre gráficos reflexivos e suas aplicações através de lentes.

Um novo assistente usa IA pra facilitar o design de hardware digital e a criação de código RTL.

Esse estudo avalia o desempenho dos LCGMs em tarefas de codificação em inglês e chinês.

Descubra como a Julia potencializa as capacidades estatísticas do Stata para grandes conjuntos de dados.

Uma olhada em como o Rust facilita a gestão de memória compartilhada distribuída.

Um novo método melhora a geração de código para linguagens de programação especializadas.

Explorando como a IA facilita a conversão de código entre linguagens de programação.

Uma nova métrica pra medir o quanto é difícil compilar linguagens de programação.

Um novo teste pra avaliar LLMs em tarefas de programação em Java.

O MARVeLus faz a verificação e implementação de pontes pra deixar sistemas ciberfísicos mais seguros.

Explorando os benefícios de dar uma olhada regularmente em transdutores de árvore atribuídos.

Um novo método melhora os LLMs pra gerar código de UI de alta qualidade.

Uma visão geral das estruturas multi-árvore e sua importância na lógica e na computação.

Combinando fuzzing e modelos de linguagem pra melhorar a eficiência dos testes de software.

DafnyBench avalia ferramentas de verificação de software, abrindo caminho para uma programação confiável.

Examinando o impacto de APIs obsoletas nas sugestões de código de LLM.

Uma nova abordagem combina conhecimento e tecnologia pra melhorar a detecção de vulnerabilidades em software.

Explora técnicas de consulta melhoradas pra uma gestão de dados eficiente através do XPath.

Um framework melhora a geração de código para linguagens especializadas usando documentação.

Uma nova ferramenta usa aprendizado de máquina pra detectar bugs de desempenho de forma eficaz.

Explore como a ordem do modelo melhora os layouts dos diagramas e capta a intenção do usuário.

Um estudo sobre a habilidade do Copilot de gerar código em várias linguagens de programação.

Um novo conjunto de dados melhora a eficiência da busca de código para desenvolvedores que usam consultas em linguagem natural.

A APPL facilita o desenvolvimento com grandes modelos de linguagem usando uma sintaxe intuitiva, parecida com Python.

Uma visão geral de um algoritmo de substituição na Teoria do Tipo Multimodal.

Novos métodos melhoram a eficiência da descomputação em programas quânticos complexos.

Esse estudo fala sobre usar aprendizado de máquina pra melhorar a inferência de tipo em linguagens de programação.

Um novo método melhora a reparação de código para linguagens de programação pouco usadas.

Aprenda sobre PEGs, sua história, estrutura e aplicações em programação e análise.

Uma olhada mais profunda sobre o raciocínio em programas com elementos aleatórios.

Aprenda sobre drags e o processo de reescrita deles em gráficos.

Ferramenta automatizada para verificar a correção de programas quânticos escritos em Silq.

Um olhar sobre álgebras uniformes e seu papel no Prolog e na programação lógica.

Novos modelos melhoram a eficiência do código de software e o desempenho do compilador.

Uma nova estrutura para analisar a terminação em funções de ordem superior.