Grammar Analysis and Parsing by Abstract Interpretation
From MaRDI portal
Publication:3593074
Recommendations
Cited in
(84)- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
- Verifying Reference Counting Implementations
- Scalable polyhedral verification of recurrent neural networks
- Program invariants as fixedpoints
- Constructive Galois connections
- Runtime abstract interpretation for numerical accuracy and robustness
- Shared Certificates for Neural Network Verification
- An abstract interpretation-based model for safety semantics
- scientific article; zbMATH DE number 7471662 (Why is no real title available?)
- Generic abstraction of dictionaries and arrays
- Survey on Directed Model Checking
- Syntactical analysis using cell automaton grammars
- Specialisation of Prolog and FCP programs using abstract interpretation
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra
- Automating the addition of fault tolerance with discrete controller synthesis
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification
- A sparse evaluation technique for detailed semantic analyses
- The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
- An abstract interpretation framework for genotype elimination algorithms
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
- A two-phase approach for conditional floating-point verification
- Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities
- Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints
- Verifying a network invariant for all configurations of the Futurebus+ cache coherence protocol
- Using abstract interpretation to correct synchronization faults
- Lifting numeric relational domains to algebraic data types
- From invariant checking to invariant inference using randomized search
- Verified abstract interpretation techniques for disassembling low-level self-modifying code
- Template-based unbounded time verification of affine hybrid automata
- A spectrum of behavioral relations over LTSs on probability distributions
- Merge-and-Shrink Abstraction
- An integrated approach to high integrity software verification
- Gradual typing using union typing with records
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
- Distributed and predictable software model checking
- A compiler framework for the reduction of worst-case execution times
- Counterexample- and simulation-guided floating-point loop invariant synthesis
- scientific article; zbMATH DE number 177787 (Why is no real title available?)
- On using data abstractions for model checking refinements
- Abstract interpretation of mobile systems
- Loop invariants: analysis, classification, and examples
- Precise interprocedural analysis in the presence of pointers to the stack
- Data abstraction: a general framework to handle program verification of data structures
- Static analysis of ReLU neural networks with tropical polyhedra
- On lexicographic proof rules for probabilistic termination
- Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra
- A demonstrably correct compiler
- Mathematics for reasoning about loop functions
- Lightweight shape analysis based on physical types
- Demand-driven interprocedural analysis for map-based abstract domains
- A decision tree lifted domain for analyzing program families with numerical features
- scientific article; zbMATH DE number 1497841 (Why is no real title available?)
- Verification conditions for source-level imperative programs
- Compositional analysis for verification of parameterized systems
- Abstract cofibered domains: application to the alias analysis of untyped programs
- Refinement-based CFG reconstruction from unstructured programs
- Formal reduction for rule-based models
- On the refinement of liveness properties of distributed systems
- Verifying constant-time implementations by abstract interpretation
- Interpreters from functions and grammars
- Abstract interpretation and types for systems biology
- A sharing-based approach to supporting adaptation in service compositions
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- A relational shape abstract domain
- Counterexample-Guided Refinement of Template Polyhedra
- Property-oriented expansion
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures
- Validating numerical semidefinite programming solvers for polynomial invariants
- Grammar semantics, analysis and parsing by abstract interpretation
- A Computational Interpretation of Context-Free Expressions
- Automatic inference of access permissions
- Interpreting abstract interpretations in membership equational logic
- scientific article; zbMATH DE number 7471719 (Why is no real title available?)
- Automatic verification of parameterized networks of processes
- Improving strategies via SMT solving
- Static Analysis Techniques for Parameterised Boolean Equation Systems
- Abstract interpretation of resolution-based semantics
- Symbolic model checking in non-Boolean domains
- Invariants synthesis over a combined domain for automated program verification
- Assume-admissible synthesis
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
- Loop detection in term rewriting using the eliminating unfoldings
- An array content static analysis based on non-contiguous partitions
- Differential game logic
This page was built for publication: Grammar Analysis and Parsing by Abstract Interpretation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3593074)
