Informática - Linguagens de programação

Explore como a parametricidade e a coesão moldam sistemas de tipos confiáveis.

Uma abordagem prática para analisar os custos em estruturas de dados ao longo do tempo.

A AbstractBeam melhora a síntese de programas, aproveitando a geração de código eficiente através da Aprendizagem de Bibliotecas.

Explore como programas de computador podem ser gerados automaticamente para atender a requisitos específicos.

Este artigo analisa como a organização dos dados afeta a velocidade e a eficiência do programa.

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

Descubra como a programação lógica transforma a resolução de problemas por meio de relacionamentos e inferências.

Apresentando uma linguagem de programação que simplifica os processos de design de hardware.

Uma nova abordagem para entender os custos esperados de programas probabilísticos usando lógica de separação de ordem superior.

Pesquisas mostram que instruções variadas melhoram o desempenho de modelos de linguagem em tarefas desconhecidas.

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

Pesquisadores melhoram sistemas de síntese de programas pra entender melhor o que os usuários precisam.

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

Um novo método ajuda programadores a verificar unidades em software científico.

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.

Aprenda como a depuração reversível melhora o rastreamento de erros na programação em Erlang.

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

Um novo método melhora modelos de linguagem de código através de casos de teste eficazes e aprendizado de preferências.

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

Uma nova ferramenta melhora a gestão de software em tempo real para respostas imediatas.

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

Um olhar sobre como os LLMs encaram desafios de programação por meio de exemplos.

Uma abordagem bilíngue melhora a correção enquanto mantém a velocidade na programação.

Um novo sistema de tipos melhora a análise de erros de arredondamento em cálculos numéricos.

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

Este artigo explora métodos para calcular a energia do estado fundamental usando programação quântica.

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

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

Aprenda como a programação probabilística ajuda a analisar a incerteza nos dados.

Uma nova abordagem modular melhora a inferência variacional em linguagens de programação probabilística.

INDICT melhora a segurança e a utilidade do código usando análise de crítica dupla.

Melhorando o desempenho da programação lógica analisando o compartilhamento de variáveis e a linearidade.

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

Um guia sobre programação com tipos, exemplos e realizabilidade.

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

Um novo framework melhora a confiabilidade em sistemas de comunicação assíncronos por meio da gestão do tempo.

Uma nova abordagem otimiza o desempenho do kernel utilizando Ansor e Droplet Search.

Uma ferramenta pra verificar protocolos de comunicação em apps de Clojure.