Program and proof optimizations with type systems (Q953533): Difference between revisions

@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Certificate Translation for Optimizing Compilers
@@ Property / cites work: Certificate Translation for Optimizing Compilers / rank @@
+Normal rank
@@ Property / cites work @@
+Simple relational correctness proofs for static analyses and program transformations
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-carrying code from certified abstract interpretation and fixpoint compression
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+On flow-sensitive security types
@@ Property / cites work: On flow-sensitive security types / rank @@
+Normal rank
@@ Property / cites work @@
+Compiler optimization correctness by temporal logic
+Normal rank
@@ Property / cites work @@
+Type systems equivalent to data-flow analyses for imperative languages
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414732
@@ Property / cites work: Q4414732 / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional natural semantics and Hoare logic for low-level languages
+Normal rank
@@ Property / cites work @@
+Q2852100
@@ Property / cites work: Q2852100 / rank @@
+Normal rank