Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N18
@@ Property / Mathematics Subject Classification ID: 68N18 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6715300
@@ Property / zbMATH DE Number: 6715300 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program inversion
@@ Property / zbMATH Keywords: program inversion / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inverse computation
@@ Property / zbMATH Keywords: inverse computation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program transformation
@@ Property / zbMATH Keywords: program transformation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+functional programming
@@ Property / zbMATH Keywords: functional programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tree automata
@@ Property / zbMATH Keywords: tree automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tree transducers
@@ Property / zbMATH Keywords: tree transducers / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59271114
@@ Property / Wikidata QID: Q59271114 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SmallCheck
@@ Property / describes a project that uses: SmallCheck / 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/s10990-013-9097-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1998594782
@@ Property / OpenAlex ID: W1998594782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414734
@@ Property / cites work: Q4414734 / rank @@
+Normal rank
@@ Property / cites work @@
+An Universal Resolving Algorithm for Inverse Computation of Lazy Languages
+Normal rank
@@ Property / cites work @@
+The narrowing-driven approach to functional logic program specialization
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Time and space complexity of inside-out macro languages
+Normal rank
@@ Property / cites work @@
+Q5472907
@@ Property / cites work: Q5472907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035236
@@ Property / cites work: Q4035236 / rank @@
+Normal rank
@@ Property / cites work @@
+Macro tree transducers, attribute grammars, and MSO definable tree translations.
+Normal rank
@@ Property / cites work @@
+A comparison of pebble tree transducers with macro tree transducers
+Normal rank
@@ Property / cites work @@
+Macro Tree Translations of Linear Size Increase are MSO Definable
+Normal rank
@@ Property / cites work @@
+Macro tree transducers
@@ Property / cites work: Macro tree transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable properties of deterministic top-down tree transducers
+Normal rank
@@ Property / cites work @@
+Deaccumulation techniques for improving provability
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+Tupling calculation eliminates multiple data traversals
+Normal rank
@@ Property / cites work @@
+Proving and applying program transformations expressed with second-order patterns
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Transducer Output Languages
+Normal rank
@@ Property / cites work @@
+Types and higher-order recursion schemes for verification of higher-order programs
+Normal rank
@@ Property / cites work @@
+Q3149665
@@ Property / cites work: Q3149665 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of typechecking top-down XML transformations
+Normal rank
@@ Property / cites work @@
+A Grammar-Based Approach to Invertible Programs
@@ Property / cites work: A Grammar-Based Approach to Invertible Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Typechecking for XML transformers
@@ Property / cites work: Typechecking for XML transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Program Inversion for Tail Recursive Functions
@@ Property / cites work: Program Inversion for Tail Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Macro forest transducers
@@ Property / cites work: Macro forest transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447236
@@ Property / cites work: Q4447236 / rank @@
+Normal rank
@@ Property / cites work @@
+The concept of a supercompiler
@@ Property / cites work: The concept of a supercompiler / rank @@
+Normal rank
@@ Property / cites work @@
+Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27--30, 2006. Revised papers
+Normal rank
@@ Property / cites work @@
+Composition of functions with accumulating parameters
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank
@@ Property / cites work @@
+Attribute grammar inversion and source-to-source translation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:526439