scientific article; zbMATH DE number 1953282

MaRDI QIDQ4414734zbMATH OpenFDO

Authors Robert Glück, S. A. Abramov

Publication date 27 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660269.htm

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(15)

• An universal resolving algorithm for inverse computation of lazy languages
• scientific article; zbMATH DE number 1612493 (Why is no real title available?)
• The universal resolving algorithm and its correctness: Inverse computation in a functional language
• Self-generating program specializers
• Metacomputation and logic programming
• Reversible computing from a programming language perspective
• Reverse universal resolving algorithm and inverse driving
• Constructing a binary tree from its traversals by reversible recursion and iteration
• On reversible Turing machines and their function universality
• Inverse Unfold Problem and Its Heuristic Solving
• Polynomial-time inverse computation for accumulative functions with multiple data traversals
• Fundamentals of reversible flowchart languages
• Reversibility in the higher-order \(\pi\)-calculus
• Join inverse categories and reversible recursion
• scientific article; zbMATH DE number 4139317 (Why is no real title available?)

Describes a project that uses

Uses Software

• InvX

This page was built for publication:

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