Pages that link to "Item:Q5178905"
From MaRDI portal
The following pages link to Systematic design of program transformation frameworks by abstract interpretation (Q5178905):
Displaying 19 items.
- Generic Abstraction of Dictionaries and Arrays (Q5170171) (← links)
- Comparison of abstract interpretations (Q5204344) (← links)
- Abstract Program Slicing (Q5278199) (← links)
- Gradual type-and-effect systems (Q5371974) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
- Building Certified Static Analysers by Modular Construction of Well-founded Lattices (Q5415621) (← links)
- A Forward-Backward Abstraction Refinement Algorithm (Q5452721) (← links)
- Internal and External Logics of Abstract Interpretations (Q5452722) (← links)
- Certificate Translation in Abstract Interpretation (Q5458410) (← links)
- Program Analysis Using Weighted Pushdown Systems (Q5458821) (← links)
- Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)
- Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods (Q5743590) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)
- Observational Completeness on Abstract Interpretation (Q5902155) (← links)
- Program transformation system based on generalized partial computation (Q5957059) (← links)
- Parallel program analysis via range splitting (Q6535222) (← links)
- Logics for extensional, locally complete analysis via domain refinements (Q6535224) (← links)
- Context-sensitive meta-constraint systems for explainable program analysis (Q6536146) (← links)
- Syntactic and semantic soundness of structural dataflow analysis (Q6536282) (← links)
