The following pages link to Static Analysis (Q2870767):
Displaying 50 items.
- Symbolic Automata for Static Specification Mining (Q2870768) (← links)
- Abstract Semantic Differencing for Numerical Programs (Q2870770) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- Abstraction Refinement for Quantified Array Assertions (Q3392917) (← links)
- Polymorphic Fractional Capabilities (Q3392918) (← links)
- Automatic Parallelization and Optimization of Programs by Proof Rewriting (Q3392920) (← links)
- Refinement of Trace Abstraction (Q3392921) (← links)
- The Causal Graph Revisited for Directed Model Checking (Q3392922) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- Abstract Interpretation of FIFO Replacement (Q3392924) (← links)
- Region Analysis for Race Detection (Q3392925) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- The Complexity of Andersen’s Analysis in Practice (Q3392927) (← links)
- Optimizing Pointer Analysis Using Bisimilarity (Q3392929) (← links)
- Creating Transformations for Matrix Obfuscation (Q3392930) (← links)
- Abstract Interpretation from a Topological Perspective (Q3392931) (← links)
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (Q3392932) (← links)
- Invariant Checking for Programs with Procedure Calls (Q3392933) (← links)
- Inter-program Properties (Q3392934) (← links)
- Transforming Abstract Interpretations by Abstract Interpretation (Q3522058) (← links)
- Relational Analysis of Correlation (Q3522059) (← links)
- Convex Hull of Arithmetic Automata (Q3522060) (← links)
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (Q3522062) (← links)
- Protocol Inference Using Static Path Profiles (Q3522063) (← links)
- Solving Multiple Dataflow Queries Using WPDSs (Q3522064) (← links)
- Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs (Q3522065) (← links)
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation (Q3522067) (← links)
- Modal Abstractions of Concurrent Behaviour (Q3522068) (← links)
- Hiding Software Watermarks in Loop Structures (Q3522070) (← links)
- Inferring Min and Max Invariants Using Max-Plus Polyhedra (Q3522071) (← links)
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (Q3522072) (← links)
- Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis (Q3522073) (← links)
- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (Q3522074) (← links)
- Flow Analysis, Linearity, and PTIME (Q3522075) (← links)
- Quantum Entanglement Analysis Based on Abstract Interpretation (Q3522076) (← links)
- Language Strength Reduction (Q3522077) (← links)
- Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$ (Q3522079) (← links)
- Splitting the Control Flow with Boolean Flags (Q3522080) (← links)
- Reasoning about Control Flow in the Presence of Transient Faults (Q3522081) (← links)
- A Calculational Approach to Control-Flow Analysis by Abstract Interpretation (Q3522082) (← links)
- Heap Decomposition for Concurrent Shape Analysis (Q3522083) (← links)
- A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (Q3611993) (← links)
- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification (Q3611994) (← links)
- Compositional Verification and 3-Valued Abstractions Join Forces (Q3611995) (← links)
- Formalised Inductive Reasoning in the Logic of Bunched Implications (Q3611996) (← links)
- Optimal Abstraction on Real-Valued Programs (Q3611997) (← links)
- Taming the Wrapping of Integer Arithmetic (Q3611998) (← links)
- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (Q3611999) (← links)
- A Framework for End-to-End Verification and Evaluation of Register Allocators (Q3612000) (← links)
- A New Algorithm for Identifying Loops in Decompilation (Q3612001) (← links)
