Informática - Linguagens de programação

Um novo sistema junta Datalog e saturação de igualdade pra melhorar a análise de programas.

Um novo sistema melhora a depuração do OCaml rastreando a execução do programa.

Aprenda as regras e componentes essenciais das linguagens de programação.

Um jeito claro de garantir que a distribuição de recursos entre as pessoas seja justa.

Descubra como linguagens especializadas facilitam simulações complexas de clima e tempo.

Um método pra simplificar funções de ordem superior em linguagens de programação.

O QChecker ajuda a detectar bugs em programas quânticos usando técnicas de análise estática.

Este artigo analisa como nossos cérebros processam código de computador.

Essa pesquisa melhora o ajuste de programas tensor em diferentes hardwares usando técnicas de aprendizado por transferência.

Descubra o papel do QIR na programação quântica pra uma segurança de código melhor.

Um estudo sobre a eficiência dos métodos de execução do Java.

Um olhar sobre o papel da programação coreográfica na criação de sistemas distribuídos eficientes.

Explore como a subtipagem melhora a comunicação em sistemas de computador.

Uma ferramenta simples pra validar regras GSOS em linguagens de programação.

Entendendo a inferência de tipos e seu impacto nas linguagens de programação e gerenciamento de recursos.

Um novo modelo de programação melhora a segurança em aplicações de primeiro local.

Um estudo sobre a relação entre subtipagem estrutural e polimorfismo paramétrico em linguagens de programação.

NPS melhora o desempenho do microprocessador, aumentando a precisão e a eficiência da amostragem de programas.

Aprenda sobre uma linguagem de programação pra gerenciar qubits de forma eficaz.

Uma olhada em efeitos algébricos e escopados para um código mais limpo.

Um novo método para síntese de programas melhora a eficiência usando abordagens de raciocínio duplo.

Apresentando uma maneira eficiente de simular circuitos quânticos complexos com portas não-Clifford.

Uma nova abordagem para gerenciar recursos de forma eficiente no desenvolvimento de software.

Aprenda sobre atomicidade lógica e estruturas de dados seguras em sistemas concorrentes.

Uma olhada mais profunda no papel dos samplers na programação probabilística.

Apresentando um sistema de tipos pra garantir estratégias certas na programação.

Um novo framework melhora o desempenho na computação hiperdimensional.

Um método pra ajudar robôs a aprender tarefas observando os usuários.

Aprenda como o design de macros afeta os tempos de compilação em projetos de Common Lisp.

Métodos inovadores melhoram a eficiência da busca de código em várias linguagens de programação.

Este artigo explica os desafios da programação poliglota e apresenta um novo método de análise.

Apresentando uma linguagem de programação que garante segurança de memória para GPUs.

O CHAMELEON melhora a gestão de modelos em plataformas low-code para um desenvolvimento de software mais eficiente.

Aprenda como o Egg-smol torna os e-graphs acessíveis para desenvolvedores Python.

Um novo método melhora a forma como os desenvolvedores buscam padrões de código de maneira eficaz.

Uma estrutura pra garantir a correção do programa e lidar com erros de forma eficaz.

Modelos de aprendizado de máquina ajudam a encontrar erros em programação concorrente pra deixar o software mais seguro.

TyRE melhora a análise de regex com segurança de tipo e saída estruturada.

A execução simbólica é uma técnica chave pra identificar bugs de software de forma eficiente.

Uma introdução às teorias de tipos modais em camadas e suas aplicações na programação.