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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.cl.2013.01.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2171640663
@@ Property / OpenAlex ID: W2171640663 / 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