On the synthesis of function inverses

DOI10.1007/BF01185679zbMath0782.68080OpenAlexW2072844988MaRDI QIDQ1205183

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

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

Related Items (3)

Categories, relations and dynamic programming ⋮ Running programs backwards: The logical inversion of imperative computation ⋮ Inverse image analysis generalises strictness analysis

Uses Software

• ML

Cites Work

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

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