The universal resolving algorithm: Inverse computation in a functional language

DOI10.1007/10722010_13MaRDI QIDQ2721101zbMATH OpenFDO

Authors Robert Glück, S. A. Abramov

Publication date 1 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722010_13

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• The universal resolving algorithm and its correctness: Inverse computation in a functional language
• An universal resolving algorithm for inverse computation of lazy languages
• scientific article; zbMATH DE number 1953282
• Reverse universal resolving algorithm and inverse driving
• Metacomputation and logic programming

Cited in

(15)

• Metacomputation and logic programming
• On the synthesis of function inverses
• Reversible computing from a programming language perspective
• Merging hierarchically-structured documents in workflow systems
• Relations as executable specifications: taming partiality and non-determinism using invariants
• An universal resolving algorithm for inverse computation of lazy languages
• scientific article; zbMATH DE number 1953282 (Why is no real title available?)
• Reverse universal resolving algorithm and inverse driving
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• scientific article; zbMATH DE number 7455733 (Why is no real title available?)
• Polynomial-time inverse computation for accumulative functions with multiple data traversals
• The narrowing-driven approach to functional logic program specialization
• The universal resolving algorithm and its correctness: Inverse computation in a functional language
• PEARL: a partial evaluation toolbox for a reversible language
• Solving and analyzing PDOL inverse process

Describes a project that uses

Uses Software

• InvX

This page was built for publication: The universal resolving algorithm: Inverse computation in a functional language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2721101)