On the synthesis of function inverses

DOI10.1007/BF01185679MaRDI QIDQ1205183zbMATH OpenOpenAlexFDO

Authors Peter G. Harrison, Hessam Khoshnevisan

Publication date 1 April 1993

Published in Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

program transformationprogram synthesis

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4011905
• Automatic Partial Inversion of Inductively Sequential Functions
• Inverse image analysis generalises strictness analysis
• Improving recursive functions by inverting the order of evaluation
• scientific article; zbMATH DE number 1612493

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• A Powerdomain Construction
• A new approach to recursion removal
• A theory of type polymorphism in programming
• Can programming be liberated from the von Neumann style?
• Inverse image analysis generalises strictness analysis
• The Mechanical Transformation of Data Types

Cited in

(5)

• Inverse image analysis generalises strictness analysis
• scientific article; zbMATH DE number 4011905 (Why is no real title available?)
• Categories, relations and dynamic programming
• Improving recursive functions by inverting the order of evaluation
• Running programs backwards: The logical inversion of imperative computation

Describes a project that uses

Uses Software

• ML

This page was built for publication: On the synthesis of function inverses

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