Artigos mais recentes para Linguagens de Programação

a nelli facilita a vida dos desenvolvedores que trabalham com MLIR.

Esse artigo fala sobre linguagens regulares e a importância delas em sistemas formais.

Uma visão geral dos transdutores de árvore, focando nos transdutores de árvore macro e suas principais propriedades.

Uma olhada em tipos de referência univalentes e suas implicações para linguagens de programação.

Apresentando uma lógica de programa pra melhorar o raciocínio em software stateful de nível superior.

Analisando as limitações dos LLMs na tradução de código e técnicas para melhorar isso.

Novos métodos melhoram a compreensão dos modelos de linguagem usados em tarefas de programação.

Uma nova abordagem torna a geração de regex mais clara e fácil de usar.

Ajustes no MicroPython levam a um desempenho melhor nas plataformas CHERI.

Um novo método combina modelos clássicos e modernos pra melhorar a precisão na busca de código.

Um método sistemático para criar e manipular sintaxes não bem fundadas em linguagens de programação.

Otimize a análise causal usando Tetrad combinado com Python e R.

SEER automatiza o design de hardware de forma eficiente a partir de programas de software de alto nível.

O WasmFX oferece novas ferramentas para os desenvolvedores gerenciarem recursos avançados de programação em WebAssembly.

Esse estudo destaca como os desenvolvedores Java reutilizam respostas do StackOverflow no GitHub.

Novo tokenizador melhora o desempenho de modelos de linguagem para programação em computação de alto desempenho.

Uma nova abordagem melhora as linguagens de coordenação baseadas em dados para um desempenho melhor.

O Tau Prolog permite rodar código Prolog de boa em ambiente web.

Uma proposta para um ABI padrão de MPI para melhorar a compatibilidade entre as implementações.

Bugsplainer oferece explicações de bugs de forma clara pra agilizar o desenvolvimento de software.

Ligando a dificuldade do vocabulário e a naturalidade do código pra melhorar a compreensão de software.

Esse artigo destaca os esforços pra integrar Fortran com ferramentas de programação FPGA pra ter um desempenho melhor.

Uma olhada em ferramentas que ajudam os desenvolvedores Rust a gerenciar versões.

Explorando a eficácia do ChatGPT em identificar vulnerabilidades no código Python.

A ACER oferece uma forma eficiente de criar gráficos de chamadas usando árvores de sintaxe abstrata.

Um olhar sobre como o VeriFast melhora a verificação de programas em C usando sistemas formais.

Esse sistema integra Python e Prolog pra funcionar de boa.

Esse artigo fala sobre a conexão entre ProbLog e argumentação em informações incertas.

Esse artigo faz uma revisão dos benchmarks pra avaliar linguagens que integram regras lógicas.

Uma olhada em como usar tipos de sessão para garantir a comunicação entre programas.

Estudo mostra que linguagens de programação podem melhorar o desempenho umas das outras na geração de código.

Este artigo explora o impacto da lógica multirole nas operações lógicas e sistemas de comunicação.

Um estudo sobre clones de código revela insights importantes para a gestão de software.

Uma olhada em atualizar linguagens de programação antigas pra tecnologia de hoje.

Esse projeto melhora a resolução de problemas de matemática gerando código Prolog a partir de modelos de linguagem.

Gramáticas de precedência de operadores cíclicos melhoram a eficiência e flexibilidade do parsing em programação.

Um novo método pra ensinar os conceitos de propriedade do Rust melhora a compreensão dos alunos.

Esse artigo fala sobre uma nova linguagem de programação pra facilitar os testes baseados em propriedades.

Explorando as dificuldades que os desenvolvedores enfrentam com o sistema de traits do Rust e as mensagens de erro.

Este artigo compara o Llama-2 e o GPT-3 na geração de código HPC.