Informática - Linguagens de programação

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.

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

Aprenda métodos para criar cenários de pior caso para programas concorrentes.

Uma olhada nas classificações e seu papel em gerenciar efeitos computacionais em monads.

LoopTune otimiza código de machine learning usando aprendizado por reforço profundo pra ter um desempenho melhor.

Uma nova abordagem simplifica a verificação de programas concorrentes em diferentes modelos de memória.

Uma nova abordagem pra garantir que programas mistos de quantum e clássicos estão corretos.

Aprenda como APIs verificadas melhoram a confiabilidade e o desempenho do SDN.

Um novo algoritmo simplifica a representação R1CS pra melhorar a clareza e eficiência dos ZKPs.

Um método pra acompanhar mensagens de aplicativo com foco em segurança e confiabilidade.

Um olhar sobre como gerenciar a confidencialidade e a integridade em linguagens de 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.