Some Observations Concerning Formal Differentiation of Set Theoretic Expressions

DOI10.1145/357162.357166zbMath0481.68005OpenAlexW2046831192MaRDI QIDQ3939195

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

program transformationloop fusionhigh- level optimization techniquevery high-level languages

Mathematics Subject Classification ID

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

Related Items (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