Type systems equivalent to data-flow analyses for imperative languages (Q860844): Difference between revisions

@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518876
@@ Property / cites work: Q4518876 / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatic Approach to Information Flow in Programs
+Normal rank
@@ Property / cites work @@
+Certification of programs for secure information flow
+Normal rank
@@ Property / cites work @@
+On flow-sensitive security types
@@ Property / cites work: On flow-sensitive security types / rank @@
+Normal rank
@@ Property / cites work @@
+Verified lightweight bytecode verification
@@ Property / cites work: Verified lightweight bytecode verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763667
@@ Property / cites work: Q2763667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417891
@@ Property / cites work: Q4417891 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Oracle-based checking of untrusted software
@@ Property / cites work: Oracle-based checking of untrusted software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+From Polyvariant flow information to intersection and union types
+Normal rank
@@ Property / cites work @@
+Lightweight bytecode verification
@@ Property / cites work: Lightweight bytecode verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2770462
@@ Property / cites work: Q2770462 / rank @@
+Normal rank