Higher-Order Model Checking in Direct Style (Q3179299): Difference between revisions

@@ Property / cites work @@
+C-SHORe
@@ Property / cites work: C-SHORe / rank @@
+Normal rank
@@ Property / cites work @@
+Saturation-Based Model Checking of Higher-Order Recursion Schemes.
+Normal rank
@@ Property / cites work @@
+Pushdown control-flow analysis for free
@@ Property / cites work: Pushdown control-flow analysis for free / rank @@
+Normal rank
@@ Property / cites work @@
+Abstracting abstract machines
@@ Property / cites work: Abstracting abstract machines / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Higher-Order Programs
@@ Property / cites work: Model Checking Higher-Order Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Termination Verification for Higher-Order Functional Programs
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying higher-order functional programs with pattern-matching algebraic data types
+Normal rank
@@ Property / cites work @@
+A type-directed abstraction refinement approach to higher-order model checking
+Normal rank
@@ Property / cites work @@
+A ZDD-Based Efficient Higher-Order Model Checking Algorithm
+Normal rank
@@ Property / cites work @@
+Higher-Order Model Checking in Direct Style
@@ Property / cites work: Higher-Order Model Checking in Direct Style / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Model-Checking Call-by-Value Programs
+Normal rank