The following pages link to Programming Languages and Systems (Q5308686):
Displaying 11 items.
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- Correctness kernels of abstract interpretations (Q2252528) (← links)
- Incompleteness of states w.r.t. traces in model checking (Q2492186) (← links)
- Generalized Strong Preservation by Abstract Interpretation (Q3437262) (← links)
- (Q4285740) (← links)
- Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)
- Internal and External Logics of Abstract Interpretations (Q5452722) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703755) (← links)
- Observational Completeness on Abstract Interpretation (Q5902155) (← links)
