Informática - Linguagens de programação

Aprenda como o lintcstubs melhora a segurança e a correção do código OCaml-C.

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

Um novo método melhora a verificação de aplicações multi-threaded baseadas em eventos.

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

Conheça a digitação de sensibilidade gradual e como ela ajuda a melhorar a segurança na programação.

Aprenda como a programação probabilística reativa se adapta à incerteza em ambientes dinâmicos.

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

Este trabalho apresenta um método para melhorar a compreensão de código em LLMs usando simetria.

Novos métodos para monitorar sistemas complexos usando transdutores de prefixo melhoram a verificação em tempo real.

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

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

A automação na web fica mais fácil com um sistema que aprende com as ações dos usuários.

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

Um novo sistema de tipos tem como objetivo prevenir corridas de dados na programação.

Uma nova ferramenta ajuda os usuários a entender as decisões da IA por meio de explicações contrafactuais.

Apresentando um idioma de ensino para matemática discreta com foco em programação funcional.

O design modular melhora a eficiência e a escalabilidade da síntese de programas.

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

Esse artigo fala sobre como melhorar o aprendizado de IA por meio de abstrações de ordem superior para mais eficiência.

Uma nova linguagem de programação foca em dimensões pra melhorar a modelagem científica.

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

Uma abordagem nova que combina ICL e geração de código para previsões melhores.

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

Esse trabalho apresenta técnicas inovadoras para gerenciar programas reativos complexos de forma eficaz.

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.

Aprenda como refatorar código de deep learning melhora o desempenho através da automação.

Uma nova DSL melhora o design e a verificação de hardware, aumentando a produtividade e a precisão.

Um guia sobre as especificações do Tydi pra melhorar a transferência de dados no design.

Um estudo sobre as semelhanças e diferenças entre linguagens de programação em modelos de linguagem.

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

AskIt simplifica a integração de LLM em projetos de software, melhorando a eficiência e reduzindo o tamanho do código.

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 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.

Um olhar sobre a verificação de programas usando model checking em meio a comportamentos complexos.

Esse artigo discute ideias-chave em sintaxe, semântica e suas aplicações.

Passos principais pra garantir a submissão anônima de trabalhos e a justiça na revisão.