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 22 items.
- Inferring complete initialization of arrays (Q383356) (← links)
- On invariant checking (Q394493) (← links)
- Mathematical programming: Turing completeness and applications to software analysis (Q405669) (← links)
- Abstract interpretation of database query languages (Q456469) (← links)
- Maximal incompleteness as obfuscation potency (Q511013) (← links)
- Context-sensitive analysis without calling-context (Q656869) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- Extending separation logic with fixpoints and postponed substitution (Q820139) (← links)
- Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics (Q845241) (← links)
- An empirical study on classification methods for alarms from a bug-finding static C analyzer (Q845982) (← links)
- Analyzing the environment structure of higher-order languages using frame strings (Q879361) (← links)
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification (Q974112) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Bi-inductive structural semantics (Q1012127) (← links)
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- Software watermarking: a semantics-based approach (Q1650961) (← links)
- Descending chains and narrowing on template abstract domains (Q1671249) (← links)
- The abstract domain of trapezoid step functions (Q1749121) (← links)
- Transforming Abstract Interpretations by Abstract Interpretation (Q3522058) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)
