„Abstract interpretation“
Suchergebnisse
218 Treffer
-
Program Analysis to Support Concurrent Programming in Declarative Languages
-
Abstract Interpretation, Symbolic Execution and Constraints
-
Towards Static Performance Guarantees for Programs with Run-Time Checks
-
Towards Incremental and Modular Context-Sensitive Analysis
-
Adaptable Value-Set Analysis for Low-Level Code
-
Toward Static Timing Analysis of Parallel Software
-
Computing Same Block Relations for Relational Cache Analysis
-
Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
-
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis
-
Algorithms for Infeasible Path Calculation
-
Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation
-
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)
-
ChemInform Abstract: Imaging of Self‐Assembled Structures: Interpretation of TEM and Cryo‐TEM Images
-
Verification, model checking, and abstract interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 ; proceedings
-
Verification, model checking, and abstract interpretation – 11th international conference ; proceedings
-
Verification, model checking, and abstract interpretation – 8th international conference ; proceedings
-
Concrete Semantics – With Isabelle/HOL
-
Information Flow Security in Tree-Manipulating Processes – Verifying Safety Hyperproperties Using Abstract Interpretation and Model Checking
-
Information flow security in tree-manipulating processes
-
Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code