ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs (Q5041118): Difference between revisions

@@ Property / cites work @@
+Q3593499
@@ Property / cites work: Q3593499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518876
@@ Property / cites work: Q4518876 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Abstraction for Linked Data Structures
@@ Property / cites work: Predicate Abstraction for Linked Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+A modular, polyvariant and type-based closure analysis
+Normal rank
@@ Property / cites work @@
+Permission accounting in separation logic
@@ Property / cites work: Permission accounting in separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813391
@@ Property / cites work: Q4813391 / rank @@
+Normal rank
@@ Property / cites work @@
+HoIce: an ICE-based non-linear Horn clause solver
@@ Property / cites work: HoIce: an ICE-based non-linear Horn clause solver / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid type checking
@@ Property / cites work: Hybrid type checking / rank @@
+Normal rank
@@ Property / cites work @@
+Widening for Control-Flow
@@ Property / cites work: Widening for Control-Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified Heap Invariants for Object-Oriented Programs
+Normal rank
@@ Property / cites work @@
+Dafny: An Automatic Program Verifier for Functional Correctness
+Normal rank
@@ Property / cites work @@
+Deadlock-Free Channels and Locks
@@ Property / cites work: Deadlock-Free Channels and Locks / rank @@
+Normal rank
@@ Property / cites work @@
+RustHorn: CHC-Based Verification for Rust Programs
+Normal rank
@@ Property / cites work @@
+Viper: A Verification Infrastructure for Permission-Based Reasoning
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Low-level liquid types
@@ Property / cites work: Low-level liquid types / rank @@
+Normal rank
@@ Property / cites work @@
+Pick your contexts well
@@ Property / cites work: Pick your contexts well / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729060
@@ Property / cites work: Q2729060 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent types and multi-monadic effects in F*
@@ Property / cites work: Dependent types and multi-monadic effects in F* / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Refinement Types
@@ Property / cites work: Abstract Refinement Types / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement types for Haskell
@@ Property / cites work: Refinement types for Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus with polymorphic and polyvariant flow types
+Normal rank
@@ Property / cites work @@
+Compositional and Lightweight Dependent Type Inference for ML
+Normal rank