Informática - Linguagens de programação

Explorando o uso de estudos de caso pra enriquecer o aprendizado de linguagens de programação.

Juntar programação com métodos tradicionais ajuda a entender melhor a teoria eletromagnética.

Um curso prático pra entender sistemas de tipos em programação usando Stella.

Um estudo sobre como ensinar cibersegurança em cursos de programação de computador.

Um novo método simplifica a programação com geração de software eficiente e especificações melhores.

Um novo framework melhora a confiabilidade da comunicação em protocolos de troca de mensagens entre várias partes.

Surge uma ferramenta poderosa para análise detalhada de transações de contratos inteligentes.

Este artigo apresenta um novo método para melhorar a geração de código Verilog usando ajuste de instruções.

Um jeito de garantir a correção do software por meio de análise estruturada.

Haskelite ajuda a galera nova a entender Haskell através de rastros de avaliação bem claros.

Esse framework melhora a eficiência da ciência de dados ao converter código Python em SQL.

Agências de segurança pedem para os líderes de software adotarem práticas de programação mais seguras.

Técnicas pra melhorar a manutenção e o desempenho das ferramentas de análise estática.

DASTAC melhora os cálculos de tensores juntando técnicas densas e esparsas pra ser mais eficiente.

Aprenda como gráficos reativos se adaptam em resposta às interações dos usuários.

Uma nova abordagem pra simplificar o manuseio de formatos de dados científicos personalizados.

Uma nova abordagem pra garantir a confiabilidade de programas probabilísticos de ordens superiores.

Analisando como transformações de compilador impactam a segurança do programa e a não interferência.

Aprenda como contêineres e padrões de requisição-resposta facilitam interações de software.

Novo sistema de tipos garante que contratos inteligentes funcionem de boas sem problemas de gás.

Uma nova linguagem de programação melhora a verificação de segurança do protocolo MPC.

Uma nova abordagem simplifica a compilação de mudanças em projetos Java, melhorando a segurança.

Aprenda como a verificação de programas garante a confiabilidade do software em indústrias críticas.

Um método pra verificar linguagens de programação pra ter mais confiabilidade e correção.

Novas técnicas melhoram a verificação de programas de computador complexos para um desempenho confiável.

Analisando as vulnerabilidades nas ferramentas de autocompletar código populares e suas implicações para os desenvolvedores.

Um novo framework simplifica os processos de compilador para aceleradores de tensor usando LLMs.

Aprenda a usar Haskell pra programação relacional e manusear dados de forma eficiente.

Combinando HW-NAS e ACO pra redes neurais eficientes.

Novo modelo de propriedade melhora a gestão de memória e a verificação em linguagens de baixo nível.

Uma estrutura para pensar sobre linguagens de programação com recursão e aleatoriedade.

Aprenda a modernizar sistemas mainframe usando APIs pra ter uma integração melhor.

Um novo algoritmo melhora a eficiência na compilação de circuitos quânticos usando strings de Pauli.

A TCT oferece uma nova maneira de proteger contratos inteligentes do Ethereum.

Um método pra conserto automático de bugs de software com foco em privacidade e segurança.

Um método pra analisar programas pra detectar erros e melhorar a confiabilidade.

Aprenda como derivadas personalizadas melhoram os processos de diferenciação automática em programação e aprendizado de máquina.

Um novo método para estimar recursos em circuitos de computação quântica.

Tyro melhora a identificação de erros de tipo para programadores, especialmente os iniciantes.

Um novo sistema ajuda usuários cegos a criar tecnologia assistiva personalizada.