Lifting numeric relational domains to algebraic data types

DOI10.1007/978-3-031-22308-2_6zbMath1524.68198OpenAlexW4312329444MaRDI QIDQ6164423

No author found.

Publication date: 28 July 2023

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-22308-2_6

zbMATH Keywords

static analysisabstract interpretationrelational abstract domainsinput-output relationsalgebraic data typesfunction summaries

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The octagon abstract domain
• Verifying higher-order functions with tree automata
• A relational shape abstract domain
• Interprocedural shape analysis using separation logic-based transformer summaries
• Disjunctive relational abstract interpretation for interprocedural program analysis
• A new abstraction framework for affine transformers
• Precise Interprocedural Analysis in the Presence of Pointers to the Stack
• Abstraction of Optional Numerical Values
• Grammar Analysis and Parsing by Abstract Interpretation
• Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
• Abstract cofibered domains: Application to the alias analysis of untyped programs
• Higher-order multi-parameter tree transducers and recursion schemes for program verification
• Programming Languages and Systems
• Why3 — Where Programs Meet Provers
• A Completion Algorithm for Lattice Tree Automata
• Semantic-directed clumping of disjunctive abstract states
• Verifying higher-order functional programs with pattern-matching algebraic data types
• Static Analysis
• An abstract domain for trees with numeric relations

This page was built for publication: Lifting numeric relational domains to algebraic data types