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

@@ Property / DOI @@
-.1016/j.tcs.2006.08.013
@@ Property / DOI: 10.1016/j.tcs.2006.08.013 / rank @@
-Normal rank
@@ 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.tcs.2006.08.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2149925406
@@ Property / OpenAlex ID: W2149925406 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62043271
@@ Property / Wikidata QID: Q62043271 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2006.08.013
@@ Property / DOI: 10.1016/J.TCS.2006.08.013 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:860844