scientific article; zbMATH DE number 1953282
From MaRDI portal
Publication:4414734
zbMATH Open1026.68023MaRDI QIDQ4414734FDOQ4414734
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
Title of this publication is not available (Why is that?)
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)
Cited In (15)
- Reversibility in the higher-order \(\pi\)-calculus
- Self-generating program specializers
- Inverse Unfold Problem and Its Heuristic Solving
- Title not available (Why is that?)
- Reversible computing from a programming language perspective
- Reverse universal resolving algorithm and inverse driving
- On reversible Turing machines and their function universality
- The universal resolving algorithm and its correctness: Inverse computation in a functional language
- Constructing a binary tree from its traversals by reversible recursion and iteration
- Title not available (Why is that?)
- Fundamentals of reversible flowchart languages
- An universal resolving algorithm for inverse computation of lazy languages
- Metacomputation and logic programming
- Join inverse categories and reversible recursion
- Polynomial-time inverse computation for accumulative functions with multiple data traversals
Uses Software
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)
