Deaccumulation techniques for improving provability (Q882487): 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 @@
+RRL
@@ Property / describes a project that uses: RRL / 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.1016/j.jlap.2006.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2089817457
@@ Property / OpenAlex ID: W2089817457 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing structural induction. II: Strategies
@@ Property / cites work: Mechanizing structural induction. II: Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947094
@@ Property / cites work: Q3947094 / rank @@
+Normal rank
@@ Property / cites work @@
+The promotion and accumulation strategies in transformational programming
+Normal rank
@@ Property / cites work @@
+Implicit induction in conditional theories
@@ Property / cites work: Implicit induction in conditional theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751365
@@ Property / cites work: Q2751365 / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: A heuristic for guiding inductive proofs
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Invariance and non-determinacy
@@ Property / cites work: Invariance and non-determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Bottom-up and top-down tree transformations— a comparison
+Normal rank
@@ Property / cites work @@
+A comparison of pebble tree transducers with macro tree transducers
+Normal rank
@@ Property / cites work @@
+Macro tree transducers
@@ Property / cites work: Macro tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Modular tree transducers
@@ Property / cites work: Modular tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736594
@@ Property / cites work: Q2736594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925893
@@ Property / cites work: Q3925893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210160
@@ Property / cites work: Q4210160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723934
@@ Property / cites work: Q2723934 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of functions with accumulating parameters
+Normal rank
@@ Property / cites work @@
+Q2766775
@@ Property / cites work: Q2766775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3149665
@@ Property / cites work: Q3149665 / rank @@
+Normal rank
@@ Property / cites work @@
+The Substitution Vanishes
@@ Property / cites work: The Substitution Vanishes / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+Swapping Arguments and Results of Recursive Functions
+Normal rank
@@ Property / cites work @@
+Q3996676
@@ Property / cites work: Q3996676 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Mappings and grammars on trees
@@ Property / cites work: Mappings and grammars on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Shortcut fusion for accumulating parameters &amp; zip-like functions
+Normal rank
@@ Property / cites work @@
+Generalized sequential machine maps
@@ Property / cites work: Generalized sequential machine maps / rank @@
+Normal rank
@@ Property / cites work @@
+Functional description of the contextual analysis in block-structured programming languages: A case study of tree transducers
+Normal rank
@@ Property / cites work @@
+Concatenate, reverse and map vanish for free
@@ Property / cites work: Concatenate, reverse and map vanish for free / rank @@
+Normal rank
@@ Property / cites work @@
+Using circular programs to deforest in accumulating parameters
+Normal rank
@@ Property / cites work @@
+Composition of functions with accumulating parameters
+Normal rank
@@ Property / cites work @@
+Q4296747
@@ Property / cites work: Q4296747 / rank @@
+Normal rank