Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Polynomial-time inverse computation for accumulative functions with multiple data traversals	scientific article

Statements

scholarly article

Polynomial-time inverse computation for accumulative functions with multiple data traversals (English)

Kazutaka Matsuda

Higher-Order and Symbolic Computation

publication date

15 May 2017

zbMATH Keywords

program inversion

inverse computation

program transformation

functional programming

tree automata

tree transducers

describes a project that uses

MaRDI profile type

MaRDI publication profile

full work available at URL

https://doi.org/10.1007/s10990-013-9097-8

An Universal Resolving Algorithm for Inverse Computation of Lazy Languages

The narrowing-driven approach to functional logic program specialization

A needed narrowing strategy

Time and space complexity of inside-out macro languages

Macro tree transducers, attribute grammars, and MSO definable tree translations.

A comparison of pebble tree transducers with macro tree transducers

Macro Tree Translations of Linear Size Increase are MSO Definable

Macro tree transducers

Undecidable properties of deterministic top-down tree transducers

Deaccumulation techniques for improving provability

Functional and Logic Programming

Tupling calculation eliminates multiple data traversals

Proving and applying program transformations expressed with second-order patterns

The Complexity of Tree Transducer Output Languages

Types and higher-order recursion schemes for verification of higher-order programs

On the complexity of typechecking top-down XML transformations

A Grammar-Based Approach to Invertible Programs

Typechecking for XML transformers

Program Inversion for Tail Recursive Functions

Macro forest transducers

The concept of a supercompiler

Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27--30, 2006. Revised papers

Composition of functions with accumulating parameters

Deforestation: Transforming programs to eliminate trees

Attribute grammar inversion and source-to-source translation

Identifiers

Sitelinks

Mathematics(1 entry)

mardi Publication:526439

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q526439&oldid=37907488"