:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rasheed, Abdullah H.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2602.07324
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
von: Rasheed, Abdullah H., et al.
Veröffentlicht: (2026)

Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]
von: Rasheed, Abdullah
Veröffentlicht: (2024)

C Analyzer : A Static Program Analysis Tool for C Programs
von: Solanki, Rajendra Kumar
Veröffentlicht: (2024)

Deterministic Fully-Static Whole-Binary Translation without Heuristics
von: Chen, Hongyu, et al.
Veröffentlicht: (2026)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
von: Wang, Peixin, et al.
Veröffentlicht: (2023)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
von: Kudasov, Nikolai, et al.
Veröffentlicht: (2024)

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
von: Böck, Markus, et al.
Veröffentlicht: (2025)

Abstract Interpretation-Based Data Leakage Static Analysis
von: Drobnjaković, Filip, et al.
Veröffentlicht: (2022)

Qihe: A General-Purpose Static Analysis Framework for Verilog
von: Chen, Qinlin, et al.
Veröffentlicht: (2026)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
von: Arafat, Hassan, et al.
Veröffentlicht: (2025)

Unlocking the Power of Environment Assumptions for Unit Proofs
von: Priya, Siddharth, et al.
Veröffentlicht: (2024)

Try-Mopsa: Relational Static Analysis in Your Pocket
von: Monat, Raphaël
Veröffentlicht: (2025)

On the Anatomy of Real-World R Code for Static Analysis
von: Sihler, Florian, et al.
Veröffentlicht: (2024)

Newtonian Program Analysis of Probabilistic Programs
von: Wang, Di, et al.
Veröffentlicht: (2023)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
von: Rustenholz, Louis, et al.
Veröffentlicht: (2024)

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

PSM: Policy Synchronised Deterministic Memory
von: Mendler, Michael, et al.
Veröffentlicht: (2025)

Algebras for Deterministic Computation Are Inherently Incomplete
von: Cate, Balder ten, et al.
Veröffentlicht: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
von: Zhang, Bowen, et al.
Veröffentlicht: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
von: Svoboda, David, et al.
Veröffentlicht: (2025)

Customizing Static Analysis using Codesearch
von: Hayoun, Avi, et al.
Veröffentlicht: (2024)

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

Cocoon: Static Information Flow Control in Rust
von: Lamba, Ada, et al.
Veröffentlicht: (2023)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
von: Monat, Raphaël, et al.
Veröffentlicht: (2024)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
von: Wang, Claire, et al.
Veröffentlicht: (2025)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
von: Zakharov, Vladimir, et al.
Veröffentlicht: (2024)

A Categorical Basis for Robust Program Analysis
von: Kincaid, Zachary, et al.
Veröffentlicht: (2026)

Automated Expected Cost Analysis for Quantum Programs
von: Moser, Georg, et al.
Veröffentlicht: (2026)

Inferring Non-Failure Conditions for Declarative Programs
von: Hanus, Michael
Veröffentlicht: (2024)

Static Type Checking for Database Access Code
von: Kirz, Thomas James, et al.
Veröffentlicht: (2026)

Precise Static Identification of Ethereum Storage Variables (Extended Version)
von: Lagouvardos, Sifis, et al.
Veröffentlicht: (2025)

Easing Maintenance of Academic Static Analyzers
von: Monat, Raphaël, et al.
Veröffentlicht: (2024)

Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
von: Lepori, Andrea, et al.
Veröffentlicht: (2025)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
von: Monniaux, David
Veröffentlicht: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)

A Program Logic for Under-approximating Worst-case Resource Usage
von: Jin, Ziyue, et al.
Veröffentlicht: (2025)