Informática - Linguagens de programação

Linguagens de programaçãoO Papel das Continuações em Circuitos Quânticos

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

Vikraman Choudhury, Borislav Agapiev, Amr Sabry

2025-06-10T12:57:00+00:00 ― 5 min ler

Linguagens de programaçãoAvanços em QLMNtal para Estruturas de Gráficos

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

Haruto Mishina, Kazunori Ueda

2025-06-10T11:38:00+00:00 ― 6 min ler

Engenharia de softwareSimplificando a Verificação Formal com vMocks

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

Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel

2025-06-10T04:47:12+00:00 ― 6 min ler

Linguagens de programaçãoConsistência de Memória: Equilibrando Desempenho e Segurança na Programação

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

Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty

2025-06-09T23:15:24+00:00 ― 6 min ler

Linguagens de programaçãoExaminando Tipos e Provas em Linguagens de Programação

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

Kelvin Qian, Scott Smith, Brandon Stride

2025-06-09T02:03:30+00:00 ― 5 min ler

Linguagens de programaçãoUma Nova Ferramenta para Construção de Provas

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

Jan Liam Verter, Tomas Petricek

2025-06-09T01:16:06+00:00 ― 6 min ler

Engenharia de softwareAvanços na Automação de Provas Usando LLMs

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

Minghai Lu, Benjamin Delaware, Tianyi Zhang

2025-06-08T12:45:36+00:00 ― 8 min ler

Física QuânticaApresentando o Silq: Uma Nova Linguagem de Programação Quântica

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

Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani

2025-06-07T16:26:18+00:00 ― 7 min ler

Engenharia de softwareGarantindo Justiça no Software para a Sociedade

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

Saeid Tizpaz-Niari, Shiva Darian, Ashutosh Trivedi

2025-06-06T19:25:00+00:00 ― 6 min ler

Linguagens de programaçãoUm Novo Método para Provar a Término de Programas

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

Shaowei Zhu, Zachary Kincaid

2025-06-05T04:26:36+00:00 ― 6 min ler

Lógica na InformáticaRecursão Protegida em Linguagens de Programação

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

Louis Lemonnier

2025-06-03T18:12:47+00:00 ― 10 min ler

Lógica na InformáticaConectando Lógica e Programação através da Avaliação Call-by-Value

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

Beniamino Accattoli

2025-06-03T11:21:48+00:00 ― 12 min ler

Linguagens de programaçãoUma Nova Abordagem para Desempenho de Aplicações

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

Mark Marron

2025-06-03T06:37:24+00:00 ― 7 min ler

Linguagens de programaçãoVerificando o Tratamento de Exceções no Bytecode Java

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

Marco Paganoni, Carlo A. Furia

2025-06-02T21:40:12+00:00 ― 8 min ler

Arquitetura de HardwareMelhorando a Geração de Código Verilog com Feedback

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

Jason Blocklove, Shailja Thakur, Benjamin Tan

2025-06-02T02:11:00+00:00 ― 7 min ler

Linguagens de programaçãoUma Nova Abordagem para Metaprogramação Polimórfica

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

Junyoung Jang, Brigitte Pientka

2025-06-01T21:50:18+00:00 ― 7 min ler

Linguagens de programaçãoFacilitando a Depuração com Visualização

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

John Whitington, Tom Ridge

2025-06-01T18:40:42+00:00 ― 7 min ler

Lógica na InformáticaEntendendo Parametricidade em Linguagens de Programação

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

Pierre Cagne, Patricia Johann

2025-06-01T18:01:12+00:00 ― 6 min ler

Engenharia de softwareOs Grandes Modelos de Linguagem Podem Ajudar na Verificação de Software?

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

Marilyn Rego, Wen Fan, Xin Hu

2025-05-31T13:58:30+00:00 ― 6 min ler

Engenharia de softwareUsando IA pra Melhorar a Verificação de Programas em Dafny

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

Gabriel Poesia, Chloe Loughridge, Nada Amin

2025-05-31T00:31:03+00:00 ― 7 min ler

Linguagens de programaçãoSimplificando a Análise de Laços com LoopSCC

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

Kai Zhu, Chenkai Guo, Kuihao Yan

2025-05-30T04:56:33+00:00 ― 6 min ler

Linguagens de programaçãoOtimizando Circuitos Quânticos: Uma Abordagem Equilibrada

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

Amanda Xu, Abtin Molavi, Swamit Tannu

2025-05-27T04:34:48+00:00 ― 7 min ler

Linguagens de programaçãoEntendendo Transformadores de Predicado na Programação

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

Lena Verscht, Benjamin Lucien Kaminski

2025-05-26T11:59:06+00:00 ― 5 min ler

Lógica na InformáticaNão-Determinismo Tipado: Uma Abordagem Clara

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

Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus

2025-05-24T21:55:21+00:00 ― 6 min ler

Linguagens de programaçãoTransformando Javascript com um Novo Transpiler

Um novo transpiler simplifica e agiliza a programação em Javascript.

Alessandro Rosa

2025-05-24T10:10:39+00:00 ― 6 min ler

Bases de dadosEntendendo Gráficos: Um Guia Simples

Aprenda sobre gráficos, seus tipos e aplicações no dia a dia.

Sydney Anuyah, Victor Bolade, Oluwatosin Agbaakin

2025-05-22T01:24:36+00:00 ― 10 min ler

Linguagens de programaçãoAprimorando o Design de Hardware com a Churchroad

Uma nova ferramenta simplifica o design de hardware otimizando o uso de DSPs.

Gus Henry Smith, Colin Knizek, Daniel Petrisko

2025-05-21T02:21:18+00:00 ― 6 min ler

Lógica na InformáticaAleatoriedade na Computação Concorrente: Uma Nova Abordagem

Descubra como a randomização pode melhorar a eficiência da programação concorrente.

Noam Zilberstein, Alexandra Silva, Joseph Tassarotti

2025-05-20T01:09:20+00:00 ― 6 min ler

Linguagens de programaçãoEntendendo a Notação de Dirac em Mecânica Quântica

Um olhar sobre o papel da notação de Dirac em simplificar ideias quânticas.

Yingte Xu, Gilles Barthe, Li Zhou

2025-05-19T23:02:40+00:00 ― 7 min ler

Linguagens de programaçãoCF-GKAT: Comparando Fluxo de Controle em Programação

Uma nova ferramenta pra checar a equivalência de programas através da análise de fluxo de controle.

Cheng Zhang, Tobias Kappé, David E. Narváez

2025-05-16T03:50:40+00:00 ― 6 min ler

Linguagens formais e teoria dos autómatosEntendendo Sistemas de Comunicação por Caixa de Correio

Uma olhada em como as mensagens são enviadas e recebidas na tecnologia.

Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters

2025-05-15T07:34:40+00:00 ― 6 min ler

Linguagens de programaçãoProgramação Eficiente com Arrays Funcionais

Aprenda a facilitar a programação usando arrays e funções de um jeito eficiente.

Hans Hüttel, Lars Jensen, Chris Oliver Paulsen

2025-05-15T07:09:20+00:00 ― 6 min ler

Bases de dadosEntendendo Datalog com Fatos de Primeira Classe

Uma olhada no Datalog aprimorado para uma melhor manipulação de dados.

Thomas Gilray, Arash Sahebolamri, Yihao Sun

2025-05-14T17:13:20+00:00 ― 6 min ler

Linguagens de programaçãoEntendendo o KAT e Seus Limites na Programação

Uma olhada na Álgebra de Kleene com Testes e seus desafios em tarefas determinísticas.

Balder ten Cate, Tobias Kappé

2025-05-14T15:06:40+00:00 ― 7 min ler

Computação distribuída, paralela e em clusterPython ganha um impulso com OMP4Py

OMP4Py melhora a performance do Python para computação paralela com diretrizes fáceis de usar.

César Piñeiro, Juan C. Pichel

2025-05-12T09:29:20+00:00 ― 8 min ler

Linguagens de programaçãoAutoetiquetagem: Uma Nova Maneira de Lidar com Flutuantes

Descubra como a autoetiquetagem pode melhorar o desempenho de números de ponto flutuante na programação.

Olivier Melançon, Manuel Serrano, Marc Feeley

2025-05-08T20:37:20+00:00 ― 7 min ler

Linguagens de programaçãoA Mudança do x86 para ARM: O Que Isso Significa

Explore a crescente popularidade dos chips ARM e seu impacto na tecnologia.

Ahmed Heakl, Chaimaa Abi, Rania Hossam

2025-05-08T11:20:00+00:00 ― 7 min ler

Linguagens de programaçãoRenovando o Comportamento dos Robôs com uma Nova Linguagem de Programação

Uma nova forma de deixar os robôs mais espertos e eficientes.

Oliver Biggar, Iman Shames

2025-05-07T19:42:40+00:00 ― 7 min ler

Sistemas e ControloMelhorias nas Simulações de Sistemas Híbridos

Melhorias no Lince tornam as simulações de sistemas híbridos mais simples e eficazes.

Pedro Mendes, Ricardo Correia, Renato Neves

2025-05-04T11:25:16+00:00 ― 6 min ler

LógicaO Enigma da Álgebra de Kleene e a Comutatividade

Um olhar sobre as complexidades da álgebra de Kleene com condições de comutatividade.

Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi

2025-05-03T18:16:52+00:00 ― 7 min ler