Pages that link to "Item:Q1330457"
From MaRDI portal
The following pages link to Generating data flow analysis algorithms from modal specifications (Q1330457):
Displaying 9 items.
- Specification languages in algebraic compilers (Q1853753) (← links)
- Generative program analysis and beyond: the power of domain-specific languages (invited paper) (Q2234057) (← links)
- Distributed verification of multi-threaded C++ programs (Q2866324) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- Property-oriented expansion (Q5030184) (← links)
- Unifying models (Q5047155) (← links)
- Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)
- Generating Specialized Rules and Programs for Demand-Driven Analysis (Q5505434) (← links)
- Syntactic and semantic soundness of structural dataflow analysis (Q6536282) (← links)