Imagen de Portada

A Categorical Basis for Robust Program Analysis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kincaid, Zachary, Zhu, Shaowei
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
por: Zhu, Shaowei, et al.
Publicado: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
por: Fang, Ruijie, et al.
Publicado: (2025)

Qwerty: A Basis-Oriented Quantum Programming Language
por: Adams, Austin J., et al.
Publicado: (2024)

Resource Specifications for Resource-Manipulating Programs
por: Grannan, Zachary, et al.
Publicado: (2023)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
por: Adams, Austin J., et al.
Publicado: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
por: Solanki, Rajendra Kumar
Publicado: (2024)

Newtonian Program Analysis of Probabilistic Programs
por: Wang, Di, et al.
Publicado: (2023)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
por: He, Pengfei, et al.
Publicado: (2026)

Categorical Foundations for CuTe Layouts
por: Carlisle, Jack, et al.
Publicado: (2026)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
por: Hansen, Zachary
Publicado: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
por: Smith, Scott, et al.
Publicado: (2023)

A Categorical Framework for Program Semantics and Semantic Abstraction
por: Katsumata, Shin-ya, et al.
Publicado: (2023)

Automated Expected Cost Analysis for Quantum Programs
por: Moser, Georg, et al.
Publicado: (2026)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
por: Stutz, Felix, et al.
Publicado: (2025)

Harness Engineering as Categorical Architecture
por: Banu, Bogdan
Publicado: (2026)

Static Analysis Under Non-Deterministic Program Assumptions
por: Rasheed, Abdullah H.
Publicado: (2026)

Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks
por: Zulkifli, Kahfi S., et al.
Publicado: (2025)

The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
por: Rowland, Zachary S., et al.
Publicado: (2025)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
por: Xu, Han, et al.
Publicado: (2026)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
por: Chen, Ethan, et al.
Publicado: (2024)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
por: Lundén, Daniel, et al.
Publicado: (2023)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
por: Krogstie, Håvard Rognebakke, et al.
Publicado: (2025)

Probabilistic Interval Analysis of Unreliable Programs
por: Das, Dibyendu, et al.
Publicado: (2024)

An Incremental Algorithm for Algebraic Program Analysis
por: Zhou, Chenyu, et al.
Publicado: (2024)

Challenges of Multilingual Program Specification and Analysis
por: Furia, Carlo A., et al.
Publicado: (2024)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
por: Xia, Li-yao, et al.
Publicado: (2024)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
por: Smith, Gus Henry, et al.
Publicado: (2024)

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology
por: Young, Halley
Publicado: (2026)

Qafny: A Quantum-Program Verifier
por: Li, Liyi, et al.
Publicado: (2022)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis
por: Smith, Gus Henry, et al.
Publicado: (2024)

A Programming Language for Feasible Solutions
por: Chen, Weijun, et al.
Publicado: (2025)

A Multilingual Python Programming Language
por: Bazaz, Saad Ahmed, et al.
Publicado: (2025)

Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
por: Vieira, Tim
Publicado: (2026)

NESA: Relational Neuro-Symbolic Static Program Analysis
por: Wang, Chengpeng, et al.
Publicado: (2024)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
por: Fu, Jianling, et al.
Publicado: (2024)

From Algebraic Word Problem to Program: A Formalized Approach
por: Wiemerslage, Adam, et al.
Publicado: (2020)

Accompanist: A Runtime for Resilient Choreographic Programming
por: Kløvedal, Viktor Strate, et al.
Publicado: (2026)

Caesar: A Deductive Verifier for Probabilistic Programs
por: Schröer, Philipp, et al.
Publicado: (2026)

A Monadic Implementation of Functional Logic Programs
por: Hanus, Michael, et al.
Publicado: (2026)

A Brief Overview of the Pawns Programming Language
por: Naish, Lee
Publicado: (2024)