The following pages link to Programming Languages and Systems (Q5902363):
Displaying 8 items.
- Proof optimization for partial redundancy elimination (Q843219) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- Reusing predicate precision in value analysis (Q2165503) (← links)
- Abstract Interpretation as Automated Deduction (Q3454115) (← links)
- Automatic Abstraction for Congruences (Q3656884) (← links)
- (Q5376325) (← links)
- Certificate Translation in Abstract Interpretation (Q5458410) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705934) (← links)