Pages that link to "Item:Q3437262"
From MaRDI portal
The following pages link to Generalized Strong Preservation by Abstract Interpretation (Q3437262):
Displaying 14 items.
- An abstract interpretation framework for genotype elimination algorithms (Q428908) (← links)
- Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation (Q453545) (← links)
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- Conservativity of nested relational calculi with internal generic functions (Q1321813) (← links)
- Code obfuscation against abstraction refinement attacks (Q1624593) (← links)
- Preservation of weak SAI's under increasing transformations with applications (Q2006770) (← links)
- Correctness kernels of abstract interpretations (Q2252528) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (Q3012928) (← links)
- Smaller Abstractions for ∀CTL* without Next (Q5187833) (← links)
- Programming Languages and Systems (Q5308686) (← links)
- Deriving Bisimulations by Simplifying Partitions (Q5452714) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703755) (← links)
