Aprenda como a monitorização preditiva ajuda a encontrar bugs cedo no desenvolvimento de software.
― 8 min ler
Informática - Linguagens de programação
RSSUma visão geral do Cálculo de Máquina Relacional e suas principais características.
― 8 min ler
Este artigo apresenta um novo domínio sub-poliédrico para otimizar compiladores de aprendizado de máquina.
― 9 min ler
Esse artigo fala sobre a verificação de skiplists sem bloqueio em sistemas concorrentes.
― 7 min ler
Este artigo fala sobre como garantir a segurança de contratos inteligentes através de um sistema de tipos focado na integridade.
― 6 min ler
Explorando como a IR melhora ferramentas de análise estática e a qualidade do software.
― 8 min ler
O GeckoGraph simplifica a compreensão de tipos polimórficos através de representação visual.
― 9 min ler
Goanna melhora a reportação de erros e a depuração para programadores Haskell.
― 7 min ler
Novas técnicas melhoram o corte de bolo sem inveja entre vários participantes.
― 8 min ler
Pesquisas mostram que o uso eficaz de linguagens de alto nível para operações com inteiros grandes em GPUs.
― 5 min ler
O Qwerty torna a programação quântica mais acessível e eficiente para os desenvolvedores.
― 9 min ler
A Universidade Innopolis tá na frente nas pesquisas sobre como lidar com identificadores em linguagens de programação.
― 7 min ler
Um novo algoritmo melhora o refinamento de código usando LLMs de forma mais eficiente.
― 7 min ler
Explore como a parametricidade e a coesão moldam sistemas de tipos confiáveis.
― 6 min ler
Uma abordagem prática para analisar os custos em estruturas de dados ao longo do tempo.
― 5 min ler
A AbstractBeam melhora a síntese de programas, aproveitando a geração de código eficiente através da Aprendizagem de Bibliotecas.
― 8 min ler
Explore como programas de computador podem ser gerados automaticamente para atender a requisitos específicos.
― 7 min ler
Este artigo analisa como a organização dos dados afeta a velocidade e a eficiência do programa.
― 6 min ler
Uma nova abordagem pra melhorar o desempenho de arrays na programação.
― 6 min ler
Descubra como a programação lógica transforma a resolução de problemas por meio de relacionamentos e inferências.
― 6 min ler
Apresentando uma linguagem de programação que simplifica os processos de design de hardware.
― 8 min ler
Uma nova abordagem para entender os custos esperados de programas probabilísticos usando lógica de separação de ordem superior.
― 5 min ler
Pesquisas mostram que instruções variadas melhoram o desempenho de modelos de linguagem em tarefas desconhecidas.
― 8 min ler
Um novo assistente usa IA pra facilitar o design de hardware digital e a criação de código RTL.
― 8 min ler
Pesquisadores melhoram sistemas de síntese de programas pra entender melhor o que os usuários precisam.
― 7 min ler
Esse estudo avalia o desempenho dos LCGMs em tarefas de codificação em inglês e chinês.
― 12 min ler
Um novo método ajuda programadores a verificar unidades em software científico.
― 7 min ler
Um novo método melhora a geração de código para linguagens de programação especializadas.
― 7 min ler
Explorando como a IA facilita a conversão de código entre linguagens de programação.
― 7 min ler
Uma nova métrica pra medir o quanto é difícil compilar linguagens de programação.
― 6 min ler
Aprenda como a depuração reversível melhora o rastreamento de erros na programação em Erlang.
― 8 min ler
Um novo teste pra avaliar LLMs em tarefas de programação em Java.
― 8 min ler
Um novo método melhora modelos de linguagem de código através de casos de teste eficazes e aprendizado de preferências.
― 8 min ler
O MARVeLus faz a verificação e implementação de pontes pra deixar sistemas ciberfísicos mais seguros.
― 8 min ler
Uma nova ferramenta melhora a gestão de software em tempo real para respostas imediatas.
― 6 min ler
DafnyBench avalia ferramentas de verificação de software, abrindo caminho para uma programação confiável.
― 6 min ler
Um olhar sobre como os LLMs encaram desafios de programação por meio de exemplos.
― 6 min ler
Uma abordagem bilíngue melhora a correção enquanto mantém a velocidade na programação.
― 7 min ler
Um novo sistema de tipos melhora a análise de erros de arredondamento em cálculos numéricos.
― 8 min ler
Explore como a ordem do modelo melhora os layouts dos diagramas e capta a intenção do usuário.
― 8 min ler