Information Flow Control-by-Construction for an Object-Oriented Language (Q6111610): Difference between revisions

@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatic Approach to Information Flow in Programs
+Normal rank
@@ Property / cites work @@
+Invariant based programming: Basic approach and teaching experiences
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Certified Lightweight Non-interference Java Bytecode Verifier
+Normal rank
@@ Property / cites work @@
+Q2766771
@@ Property / cites work: Q2766771 / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible recovery of uniqueness and immutability
@@ Property / cites work: Flexible recovery of uniqueness and immutability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667910
@@ Property / cites work: Q3667910 / rank @@
+Normal rank
@@ Property / cites work @@
+The Correctness-by-Construction Approach to Programming
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+ArcAngel: a tactic language for refinement
@@ Property / cites work: ArcAngel: a tactic language for refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank