Some Observations Concerning Formal Differentiation of Set Theoretic Expressions

DOI10.1145/357162.357166MaRDI QIDQ3939195zbMATH OpenOpenAlexFDO

Authors Micha Sharir

Publication date 1982

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/357162.357166

zbMATH Keywords

high- level optimization techniqueloop fusionprogram transformationvery high-level languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30)

Cited in

(4)

• Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
• A strange sorting method inspired by formal differentiation
• Some modified algorithms for Dijkstra's longest upsequence problem
• Combining relational calculus and the Dijkstra-Gries method for deriving relational programs

This page was built for publication: Some Observations Concerning Formal Differentiation of Set Theoretic Expressions

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