Informática - Linguagens de programação

Um olhar sobre novas abordagens para melhorar métodos de programação segura.

Pawns combina programação funcional e imperativa pra uma codagem mais segura e eficiente.

Um novo método melhora a decompilação de hardware ao recuperar registradores e blocos de memória.

PoTo melhora a análise estática para Python, aprimorando a qualidade do código e a inferência de tipos.

A transformação de dialeto oferece um controle melhor para engenheiros de desempenho na otimização de compiladores.

Uma nova abordagem para programar robôs para tarefas em tempo real em vários ambientes.

Um método para garantir a execução confiável de programas quânticos com cirurgia de rede.

Um novo sistema melhora a detecção de bugs em contratos inteligentes.

Esse artigo analisa como a integração de Coarray e CUDA Fortran melhora o desempenho computacional.

Descubra uma nova maneira de criar linguagens de programação adaptativas.

Uma nova abordagem melhora a execução simbólica em Python usando um Modelo de Linguagem Grande.

Uma visão geral de como a Qualtran simplifica o desenvolvimento de algoritmos quânticos.

A Replicação Colaborativa sem Coordenação facilita o trabalho em grupo sem precisar ficar trocando mensagem toda hora.

Uma nova linguagem de programação tem como objetivo melhorar o desempenho do treinamento de redes neurais.

Minuska oferece um jeito sólido de criar intérpretes verificados a partir de definições de linguagem.

Um olhar sobre como as partes compartilham informações em computação quântica.

Aprenda como continuações ajudam a gerenciar computações quânticas.

QLMNtal melhora o manuseio de gráficos com recursos de quantificação poderosos.

vMocks agilizam a verificação formal, melhorando a segurança e a confiabilidade do software.

Explorando a importância da consistência de memória em ambientes de programação multi-thread.

Uma olhada em tipos, contextos e provas em linguagens de programação.

Apresentando um assistente de prova inovador que melhora a interação do usuário.

Explorando novas formas de melhorar a verificação de provas em engenharia de software.

Silq simplifica a programação quântica com recursos fáceis de usar.

Explorando a importância da responsabilidade em sistemas de software que afetam resultados sociais e legais.

Melhorando ferramentas pra checar se os loops em programas vão terminar de rodar.

Explorando como a recursão protegida melhora estruturas de dados infinitas na programação.

Este trabalho analisa a ligação entre a lógica intuicionista mínima e a avaliação call-by-value na programação.

Apresentando uma linguagem de programação focada em desempenho confiável de aplicativos e gerenciamento de memória.

Um método pra analisar comportamentos excepcionais em programas Java usando bytecode.

A AutoChip usa feedback de EDA pra melhorar a geração de código Verilog pelos LLMs.

Apresentando uma estrutura para geração de código segura e eficiente.

Visualizar programas funcionais pode facilitar o processo de depuração para os programadores.

Aprenda como a parametricidade impacta a programação e os desafios com GADTs.

Investigando o papel dos LLMs na geração de especificações de software para verificação.

Combinando IA com Dafny pra facilitar os processos de verificação de software.

Descubra como o LoopSCC simplifica a análise de loops complexos para melhorar os testes de software.

Combinando técnicas rápidas e lentas pra melhorar o desempenho de circuitos quânticos.

Um guia sobre as pré-condições mais fracas e as pós-condições mais fortes na programação.

Entendendo a não-determinismo tipado e seu impacto na gestão de recursos em computação.