Verifying pointer and string analyses with region type systems (Q2014831): Difference between revisions

@@ Property / DOI @@
-.1016/j.cl.2013.01.001
@@ Property / DOI: 10.1016/j.cl.2013.01.001 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4417789
@@ Property / cites work: Q4417789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813388
@@ Property / cites work: Q4813388 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular control-flow analysis with rank 2 intersection types
+Normal rank
@@ Property / cites work @@
+Semi-sparse flow-sensitive pointer analysis
@@ Property / cites work: Semi-sparse flow-sensitive pointer analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Region-based memory management
@@ Property / cites work: Region-based memory management / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Pointer and String Analyses with Region Type Systems
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Certification Using the Mobius Base Logic
@@ Property / cites work: Certification Using the Mobius Base Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Certified Lightweight Non-interference Java Bytecode Verifier
+Normal rank
@@ Property / DOI @@
+.1016/J.CL.2013.01.001
@@ Property / DOI: 10.1016/J.CL.2013.01.001 / rank @@
+Normal rank