Program Logics for Certified Compilers 2014
DOI: 10.1017/cbo9781107256552.054
|View full text |Cite
|
Sign up to set email alerts
|

Foundational static analysis

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(3 citation statements)
references
References 0 publications
0
3
0
Order By: Relevance
“…Relational decomposition is a technique for integrating relational logics into stacks of unary verification frameworks [6,4]. We established soundness and completeness of decomposition for general simulations, introduced relational variants of predicate transformers, and studied their relationship to unary transformers.…”
Section: Discussionmentioning
confidence: 99%
See 2 more Smart Citations
“…Relational decomposition is a technique for integrating relational logics into stacks of unary verification frameworks [6,4]. We established soundness and completeness of decomposition for general simulations, introduced relational variants of predicate transformers, and studied their relationship to unary transformers.…”
Section: Discussionmentioning
confidence: 99%
“…The derivation of the rules exhibits witnesses as mandated by equation (4). By the results of the previous section, witnesses for the atomic instruction forms may be chosen as φ…”
Section: Fig 2 Rhl Rules For Identically Shaped Phrases (Excerpt)mentioning
confidence: 99%
See 1 more Smart Citation