Termination Graphs for Java Bytecode (Q3058449): Difference between revisions

@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / 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.1007/978-3-642-17172-7_2
+Normal rank
@@ Property / OpenAlex ID @@
+W1808131711
@@ Property / OpenAlex ID: W1808131711 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Termination Proofs for Programs with Shape-Shifting Heaps
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis of Java Bytecode by Term Rewriting
+Normal rank
@@ Property / cites work @@
+Q4804915
@@ Property / cites work: Q4804915 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of logic programs: the never-ending story
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination of Integer Term Rewriting
@@ Property / cites work: Proving Termination of Integer Term Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Automated termination proofs for logic programs by term rewriting
+Normal rank
@@ Property / cites work @@
+On proving the termination of algorithms by machine
+Normal rank