Q5020657 (Q5020657): Difference between revisions

@@ Property / author @@
-Geoff W. Hamilton
@@ Property / author: Geoff W. Hamilton / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / author @@
+Geoff W. Hamilton
@@ Property / author: Geoff W. Hamilton / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Termination Proofs for Programs with Shape-Shifting Heaps
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Cyclic proofs of program termination in separation logic
+Normal rank
@@ Property / cites work @@
+Q4364368
@@ Property / cites work: Q4364368 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination of Programs Automatically with AProVE
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Analysis with Calling Context Graphs
@@ Property / cites work: Termination Analysis with Calling Context Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A positive supercompiler
@@ Property / cites work: A positive supercompiler / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic termination proofs with transformation orderings
+Normal rank
@@ Property / cites work @@
+The concept of a supercompiler
@@ Property / cites work: The concept of a supercompiler / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank