Image de couverture de livre

Completeness in static analysis by abstract interpretation, a personal point of view

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Monniaux, David
Format:	Preprint
Publié:	2022
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
par: Monniaux, David
Publié: (2024)

The pitfalls of verifying floating-point computations
par: Monniaux, David
Publié: (2007)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
par: Kutsia, Temur, et autres
Publié: (2024)

On Propositional Program Equivalence (extended abstract)
par: Kappé, Tobias
Publié: (2025)

Probabilistic energy profiler for statically typed JVM-based programming languages
par: Nyholm, Joel, et autres
Publié: (2025)

Syntactic Completions with Material Obligations
par: Moon, David, et autres
Publié: (2025)

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
par: Fiore, Marcelo P., et autres
Publié: (2025)

AuDaLa is Turing Complete
par: Franken, Tom T. P., et autres
Publié: (2024)

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
par: Zou, Yihao, et autres
Publié: (2026)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
par: Fernandes, Matheus Campos, et autres
Publié: (2024)

Compiler support for semi-manual AoS-to-SoA conversions with data views
par: Radtke, Pawel K., et autres
Publié: (2024)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
par: Bravetti, Mario, et autres
Publié: (2025)

Learning logic programs by discovering higher-order abstractions
par: Hocquette, Céline, et autres
Publié: (2023)

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
par: Maddila, Chandra, et autres
Publié: (2025)

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
par: Balik, Patrycja, et autres
Publié: (2025)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
par: Tekriwal, Mohit, et autres
Publié: (2025)

Weighted GKAT: Completeness and Complexity
par: Van Koevering, Spencer, et autres
Publié: (2025)

Neural Models for Source Code Synthesis and Completion
par: Niyogi, Mitodru
Publié: (2024)

Abstract clones for abstract syntax
par: Arkor, Nathanael, et autres
Publié: (2021)

FO-Complete Program Verification for Heap Logics
par: Murali, Adithya, et autres
Publié: (2026)

Complete first-order reasoning for functional programs
par: Murali, Adithya, et autres
Publié: (2026)

MHRC-Bench: A Multilingual Hardware Repository-Level Code Completion benchmark
par: Zou, Qingyun, et autres
Publié: (2026)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
par: Ghica, Dan R., et autres
Publié: (2022)

Complete Multiparty Session Type Projection with Automata
par: Li, Elaine, et autres
Publié: (2023)

Complete Local Reasoning About Parameterized Programs Over Topologies
par: Cheng, Ruotong, et autres
Publié: (2026)

Expressivity of AuDaLa: Turing Completeness and Possible Extensions
par: Franken, Tom T. P., et autres
Publié: (2024)

Annotation-guided AoS-to-SoA conversions and GPU offloading with data views in C++
par: Radtke, Pawel K., et autres
Publié: (2025)

SaraCoder: Orchestrating Semantic and Structural Cues for Resource-Optimized Repository-Level Code Completion
par: Chen, Xiaohan, et autres
Publié: (2025)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
par: Hochrainer, Christoph, et autres
Publié: (2025)

Language Models for Code Completion: A Practical Evaluation
par: Izadi, Maliheh, et autres
Publié: (2024)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
par: Kappé, Tobias, et autres
Publié: (2023)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
par: Marron, Assaf, et autres
Publié: (2025)

Insights from the Usage of the Ansible Lightspeed Code Completion Service
par: Sahoo, Priyam, et autres
Publié: (2024)

BASIC: Updating a Familiar Language.
par: Eyman, David H.
Publié: (1988)

A type system for data flow and alias analysis in ReScript
par: Lund, Nicky Ask, et autres
Publié: (2024)

Quest Complete: the Holy Grail of Gradual Security
par: Chen, Tianyu, et autres
Publié: (2023)

Program Synthesis is $Σ_3^0$-Complete
par: Kim, Jinwoo
Publié: (2024)

Block-encodings as programming abstractions: The Eclipse Qrisp BlockEncoding Interface
par: Petrič, Matic, et autres
Publié: (2026)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
par: Elad, Neta, et autres
Publié: (2025)